M max-amb.github.io An introduction to formal proof verification and the Curry-Howard Correspondence 27 points max-amb 3 months ago 6 comments
