Hacker News new | ask | show | jobs
A walk through an F* proof (gist.github.com)
2 points by praxis23 3157 days ago