ecavallo / pttLinks

Experimental type-checker for internally parametric type theory
☆32Updated 2 months ago

Alternatives and similar repositories for ptt

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

Sorting: