Skip to content

Commit 7240ae2

Browse files
author
Lean stage0 autoupdater
committed
chore: update stage0
1 parent 12ff2d8 commit 7240ae2

File tree

83 files changed

+11785
-11875
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

83 files changed

+11785
-11875
lines changed

‎stage0/src/lake/README.md‎

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/src/stdlib_flags.h‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
namespace lean {
44
options get_default_options() {
55
options opts;
6-
// see https://lean-lang.org/lean4/doc/dev/bootstrap.html#further-bootstrapping-complications
6+
// see https://github.com/leanprover/lean4/blob/master/doc/dev/bootstrap.md#further-bootstrapping-complications
77
#if LEAN_IS_STAGE0 == 1
88
// set to true to generally avoid bootstrapping issues limited to proofs
99
opts = opts.update({"debug", "proofAsSorry"}, false);

‎stage0/stdlib/Init/Data/Array/Basic.c‎

Lines changed: 119 additions & 406 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Data/BitVec/Basic.c‎

Lines changed: 0 additions & 38 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Data/Fin/Basic.c‎

Lines changed: 22 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Init/Data/Fin/Lemmas.c‎

Lines changed: 84 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)