8000 fix: set `iota := true` in `simpGlobalConfig` by JovanGerb · Pull Request #6909 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: set iota := true in simpGlobalConfig#6909

Open
JovanGerb wants to merge 11 commits intoleanprover:masterfrom
JovanGerb:simpGlobalConfig-iota
Open

fix: set `iota := true` in `simpGlobalConfig`#6909
JovanGerb wants to merge 11 commits intoleanprover:masterfrom
JovanGerb:simpGlobalConfig-iota

Commits

Commits on Feb 6, 2025
0