chasenorman / CanonicalLinks

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
66Updated last week

Alternatives and similar repositories for Canonical

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

Sorting: