Skip to content

update local building instructions in README.md - #284

Open
dimpase wants to merge 4 commits into
leanprover:masterfrom
dimpase:local_build_fixes
Open

update local building instructions in README.md#284
dimpase wants to merge 4 commits into
leanprover:masterfrom
dimpase:local_build_fixes

Merge branch 'master' into local_build_fixes

6128bdb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 warnings
Build
failed Aug 4, 2026 in 8m 12s