Skip to content

Commit ab73b1c

Browse files
Rob23obaRob23oba
committed
redo stage0
1 parent a796715 commit ab73b1c

File tree

1 file changed

+92
-55
lines changed

1 file changed

+92
-55
lines changed

‎stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c

Lines changed: 92 additions & 55 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)