Hacker News new | ask | show | jobs
EasyCrypt: Computer-Aided Cryptographic Proofs (github.com)
1 points by mpsq 1698 days ago