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

(max-amb.github.io)

20 points | by max-amb 4 days ago ago

3 comments