Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
Lean Updated 2 days ago 1 commits 106 stars
axiom-bot|Mirror: chasenorman/Canonical (⭐106)
2 days agoAbout
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
Readme
106 stars
13 forks