chore: update stage0

leanprover · Apr 15, 2024 · cefb078 · cefb078
1 parent 6ab7804
commit cefb078
Show file tree

Hide file tree

Showing 138 changed files with 83,205 additions and 52,039 deletions.
diff --git a/stage0/stdlib/Init/Data/List/BasicAux.c b/stage0/stdlib/Init/Data/List/BasicAux.c
diff --git a/stage0/stdlib/Init/Data/Nat/Div.c b/stage0/stdlib/Init/Data/Nat/Div.c