chasenorman / CanonicalLeanLinks

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
68Updated 3 weeks ago

Alternatives and similar repositories for CanonicalLean

Users that are interested in CanonicalLean are comparing it to the libraries listed below

Sorting: