chasenorman / CanonicalLinks

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
63Updated 2 weeks ago

Alternatives and similar repositories for Canonical

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

Sorting: