Product Launch
anonymous
1 points
2 comments
Posted4 months agoActive4 months ago
Show HN: Contradiction, Contraposition and Lean
ouss122.github.ioformal verificationmathematical logicprogramming languages
Discussion (2 comments)
Showing 2 comments
what is that?
4 months ago
it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems