LPCIC / matitaLinks

Matita (proof assistant) with embedded elpi
13Updated 7 years ago

Alternatives and similar repositories for matita

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

Sorting: