hellonik99 20 hours ago

what is that?

  • ou122 16 hours ago

    it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems