chore: update stage0

leanprover · Apr 5, 2024 · f1984c9 · f1984c9
1 parent c00506e
commit f1984c9
Show file tree

Hide file tree

Showing 20 changed files with 12,882 additions and 5,707 deletions.
diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
diff --git a/stage0/stdlib/Init/Data/Nat.c b/stage0/stdlib/Init/Data/Nat.c
diff --git a/stage0/stdlib/Init/Data/Nat/Bitwise/Lemmas.c b/stage0/stdlib/Init/Data/Nat/Bitwise/Lemmas.c
diff --git a/stage0/stdlib/Init/Data/Nat/Simproc.c b/stage0/stdlib/Init/Data/Nat/Simproc.c
diff --git a/stage0/stdlib/Init/Data/String/Basic.c b/stage0/stdlib/Init/Data/String/Basic.c