Install Python 3, Git, and Lean with elan: https://lean-lang.org/install/
In this extracted folder run:

python3 prepare.py
lake env lean -DwarningAsError=true Welford.lean
lake env lean -DwarningAsError=true Clenshaw.lean
lake env lean -DwarningAsError=true FrischWaugh.lean
lake env lean -DwarningAsError=true Schulz.lean
lake env lean -DwarningAsError=true Halley.lean
lake env lean -DwarningAsError=true Steffensen.lean
lake env lean -DwarningAsError=true Kantorovich.lean
lake env lean -DwarningAsError=true Samuelson.lean
lake env lean -DwarningAsError=true Gruss.lean
lake env lean -DwarningAsError=true Jury.lean
lake env lean -DwarningAsError=true Richardson.lean
lake env lean -DwarningAsError=true Kaczmarz.lean
lake env lean -DwarningAsError=true Hildreth.lean
lake env lean -DwarningAsError=true FletcherPowell.lean
lake env lean -DwarningAsError=true Broyden.lean
lake env lean -DwarningAsError=true Aitken.lean
lake env lean -DwarningAsError=true Shanks.lean
lake env lean -DwarningAsError=true Cantor.lean
lake env lean -DwarningAsError=true Peirce.lean

Lean and Mathlib are pinned to 4.33.1; lake-manifest.json pins all dependency commits.
The first setup downloads compiled dependencies from the Mathlib cache.
Each file covers selected results, not a complete paper. Read its scope and assumptions.
Prior-work searches do not certify first-formalization status.
