4 ms·
Theorem Proving in Lean 4: https://leanprover.github.io/theorem_proving_in_lean4/ https://leanprover.github.io/theorem_proving_in_lean4/ I only had a basic kno
by chabulhwi 3y ago
Theorem Proving in Lean 4: https://leanprover.github.io/theorem_proving_in_lean4/ https://leanprover.github.io/theorem_proving_in_lean4/
I only had a basic knowledge of first-order logic and set theory before reading TPiL4.
It wasn't easy, but now I can prove theorems in Lean. By the way, I still can't write a program in any language.