phase / dtt

dependent type theory experiment
β˜†26Updated last year

Alternatives and similar repositories for dtt:

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