## 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 commentsIn part 2 we learn how to prove our first theorems about the natural numbers in Lean.

Click to read and post commentsAn introduction to functional programming and mathematics in the dependently-typed functional programming language and theorem prover Lean 4.

Click to read and post comments