chore: update stage0

leanprover · Feb 9, 2024 · 64d9b71 · 64d9b71
1 parent 2b93e7d
commit 64d9b71
Show file tree

Hide file tree

Showing 3 changed files with 1,027 additions and 5 deletions.
diff --git a/stage0/stdlib/Init/Tactics.c b/stage0/stdlib/Init/Tactics.c