Geeks
larsrh
/
cakeml
CakeML: A Verified Implementation of ML (DISCONTINUED)
Primary Language
Standard ML
Other
NOASSERTION
cakeml Home Page
cakeml GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
eemailme
immler
jhcloos