Projects in Awesome Lists by CakeML
A curated list of projects in awesome lists by CakeML .
https://github.com/CakeML/cakeml
CakeML: A Verified Implementation of ML
compiler formal-semantics formal-verification hol programming-language sml theorem-proving
Last synced: 12 Apr 2025
