chore: update stage0

leanprover · Dec 7, 2024 · 279f36b · 279f36b
1 parent d2853ec
commit 279f36b
Show file tree

Hide file tree

Showing 21 changed files with 1,519 additions and 1,127 deletions.
diff --git a/stage0/stdlib/Init/Data/Array.c b/stage0/stdlib/Init/Data/Array.c
diff --git a/stage0/stdlib/Init/Data/Array/Basic.c b/stage0/stdlib/Init/Data/Array/Basic.c
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/Bool.c b/stage0/stdlib/Init/Data/Bool.c
diff --git a/stage0/stdlib/Init/Data/Option.c b/stage0/stdlib/Init/Data/Option.c
diff --git a/stage0/stdlib/Init/Data/Option/Instances.c b/stage0/stdlib/Init/Data/Option/Instances.c