Description
Formal proofs and verified programs can be developed with a prebuilt Lean 4 theorem prover. It is useful for modern Lean projects, math libraries, and courses that require Lean 4.
Proof projects are version-sensitive. Match the toolchain expected by the project and keep dependencies pinned for reproducible results.