Description
Formal proofs can be developed with the community-maintained Lean theorem prover package. It is useful for users following Lean community projects, math libraries, or course material that expects this build.
Proof projects are version-sensitive. Match the toolchain expected by the project and keep dependencies pinned for reproducible results.