An introduction to formal proof verification and the Curry-Howard Correspondence(max-amb.github.io)19 points by max-amb 3 days ago | 3 comments