andrejbauer / spartan-type-theoryLinks

Spartan type theory
266Updated last year

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: