Chaaaos / formalttLinks

Formalization of type theory
22Updated 3 years ago

Alternatives and similar repositories for formaltt

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

Sorting: