Hacker News new | ask | show | jobs
Formality, a language combining formal proofs and optimal reductions (reddit.com)
3 points by icc97 2696 days ago