Description
Formal proofs can be developed with a prebuilt Lean 3 theorem prover package. It is useful for older Lean projects, courses, and libraries that have not moved to Lean 4.
Proof projects are version-sensitive. Use this package when a project specifically expects Lean 3, and keep dependencies pinned for reproducible results.