LightAndLight / qttLinks

Quantitative Type Theory implementation
54Updated 3 years ago

Alternatives and similar repositories for qtt

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

Sorting: