Skip to content

Commit b2b385b

Browse files
kim-emkim-em
committed
chore: update stage0
1 parent 7a8c2da commit b2b385b

File tree

7 files changed

+28568
-12590
lines changed

7 files changed

+28568
-12590
lines changed

‎stage0/stdlib/Lean/Compiler/LCNF/Simp/ConstantFold.c‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Data/SMap.c‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/PremiseSelection.c‎

Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/PremiseSelection/Basic.c‎

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

‎stage0/stdlib/Lean/PremiseSelection/MePo.c‎

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

‎stage0/stdlib/Lean/PremiseSelection/SineQuaNon.c‎

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

‎stage0/stdlib/Lean/PremiseSelection/SymbolFrequency.c‎

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

0 commit comments

Comments
 (0)