Hacker News new | ask | show | jobs
CakeML – A Verified Implementation of ML (cakeml.org)
1 points by Vedor 1109 days ago