CakeML / cakeml

CakeML: A Verified Implementation of ML
959Updated this week

Related projects

Alternatives and complementary repositories for cakeml