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

(max-amb.github.io)

18 points | by max-amb  4 days ago

3 comments