chasenorman / CanonicalLeanLinks

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
75Updated this week

Alternatives and similar repositories for CanonicalLean

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

Sorting: