Hacker News new | ask | show | jobs
Program Proofs (Book) (program-proofs.com)
1 points by scscsc 1205 days ago