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

(max-amb.github.io)

18 points | by max-amb 4 days ago ago

3 comments