Skip to content

build(proofs): reproducible Lean toolchain bootstrap (future dependability) - #36

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/hopeful-fermi-iXnba
Jun 5, 2026
Merged

build(proofs): reproducible Lean toolchain bootstrap (future dependability)#36
hyperpolymath merged 2 commits into
mainfrom
claude/hopeful-fermi-iXnba

ci+hooks: auto-bootstrap Lean for web sessions + consolidate CI onto …

4c1d34e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar