Hacker News new | ask | show | jobs
Simple Cryptol specifications – Exploring formal verification (part 2) (timtaubert.de)
2 points by ttaubert 3424 days ago