3 ms·Show HN: Contradiction, Contraposition and Lean1 points by ou122 1y agohellonik99 1y agowhat is that?ou122 1y agoit's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems