Open Internet by MindsNet

Curry-Howard Correspondence Demo

Proofs as programs and programs as proofs - mind-bending connection

Mathematics & logic, Mathematics, Mathematical Logic