CakeML – A Verified Implementation of ML

Comments

from Hacker News https://cakeml.org/
via

Comments

Popular posts from this blog

Ethical hacking chapters

Concurrency in Julia