Hacker News new | ask | show | jobs
Verifying Selection Sort: An Introduction to Program Verification in Dafny (dafny.org)
1 points by maxmusing 979 days ago