mmcqd / datattLinks

A dependent type theory with user defined data types
46Updated 3 years ago

Alternatives and similar repositories for datatt

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

Sorting: