mikeshulman / cohesivett

Cohesive type theory
19Updated 3 years ago

Alternatives and similar repositories for cohesivett:

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