Show HN: Contradiction, Contraposition and Lean(ouss122.github.io)
ouss122.github.io
Show HN: Contradiction, Contraposition and Lean
https://ouss122.github.io/Ou12Blog/blog/contradiction-contraposition-and-lean/
2 comments
what is that?
it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems