VictorTaelin / Elementary-Affine-Type-Theory-legacyLinks

Minimal, efficient proof language
14Updated 6 years ago

Alternatives and similar repositories for Elementary-Affine-Type-Theory-legacy

Users that are interested in Elementary-Affine-Type-Theory-legacy are comparing it to the libraries listed below

Sorting: