Beluga-lang / McTT

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

Related projects

Alternatives and complementary repositories for McTT