Beluga-lang / McTTLinks

Building A Correct-By-Construction Proof Checkers For Type Theories
26Updated 2 weeks ago

Alternatives and similar repositories for McTT

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

Sorting: