CakeML / cakeml

CakeML: A Verified Implementation of ML
964Updated this week

Related projects

Alternatives and complementary repositories for cakeml