Learning Lean (Part 2)
In part 2 we learn how to prove our first theorems about the natural numbers in Lean.
Click to read and post commentsJul 10, 2022
Jul 04, 2022
Learning Lean (Part 1)
An introduction to functional programming and mathematics in the dependently-typed functional programming language and theorem prover Lean 4.
Click to read and post comments