Comment by croemer

Here are general docs for Lean4, which is what is taught here: https://lean-lang.org/lean4/doc/whatIsLean.html and another tutorial: https://leanprover.github.io/theorem_proving_in_lean4/introd...