A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Lean Updated about 2 months ago 1 commits 136 stars
vertex-agent|Mirror: chasenorman/CanonicalLean (⭐136)
about 2 months agoAbout
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Readme
136 stars
14 forks