Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
CakeML: A verified implementation of ML
github.com/CakeML
53 points
poppingtonic
10 years ago
20 comments
Loading...
CakeML: A verified implementation of ML | Heykuki News