Description
Formal proofs and verified programs can be developed with a source-built Lean 4 theorem prover. It is useful for contributors and advanced users who need current development changes.
Development builds can change behavior and compatibility. Use pinned releases for coursework or reproducible proof projects unless the project explicitly needs this build.