chore: update stage0

leanprover · Feb 10, 2025 · feb8cc2 · feb8cc2
1 parent 5eed373
commit feb8cc2
Show file tree

Hide file tree

Showing 234 changed files with 52,573 additions and 51,194 deletions.
diff --git a/stage0/stdlib/Init/Data/Array/Lemmas.c b/stage0/stdlib/Init/Data/Array/Lemmas.c
diff --git a/stage0/stdlib/Init/Data/Array/Lex/Basic.c b/stage0/stdlib/Init/Data/Array/Lex/Basic.c