CakeML / cakemlLinks

CakeML: A Verified Implementation of ML
1,044Updated this week

Alternatives and similar repositories for cakeml

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

Sorting: