An introduction to formal proof verification and the Curry-Howard Correspondence | Hacker News

An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)

27 points by max-amb 5 days ago | 6 comments

Loading...