frex-project / agda-fragmentLinks

Algebraic proof discovery in Agda
33Updated 3 years ago

Alternatives and similar repositories for agda-fragment

Users that are interested in agda-fragment are comparing it to the libraries listed below

Sorting: