3 ms·
it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems
by ou122 1y ago
it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems