Beluga-lang / McTTLinks

A bottom-up approach to a verified implementation of MLTT
20Updated this week

Alternatives and similar repositories for McTT

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

Sorting: