andrejbauer / spartan-type-theoryLinks

Spartan type theory
271Updated 2 weeks ago

Alternatives and similar repositories for spartan-type-theory

Users that are interested in spartan-type-theory are comparing it to the libraries listed below

Sorting: