Hacker News new | ask | show | jobs
Using F* to Formally Verify Programs (maxtaylor.dev)
1 points by madmax96 1117 days ago