ollef / sixtyLinks

Dependent type checker using normalisation by evaluation
262Updated 9 months ago

Alternatives and similar repositories for sixty

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

Sorting: