leanprover-community / plausibleLinks
☆63Updated 2 weeks ago
Alternatives and similar repositories for plausible
Users that are interested in plausible are comparing it to the libraries listed below
Sorting:
Users that are interested in plausible are comparing it to the libraries listed below