adaptations for 9638#24
Open
JovanGerb wants to merge 5 commits intoleanprover-community:lean-pr-testing-9638from
Open
adaptations for 9638#24JovanGerb wants to merge 5 commits intoleanprover-community:lean-pr-testing-9638from
JovanGerb wants to merge 5 commits intoleanprover-community:lean-pr-testing-9638from
Commits
Commits on Jul 31, 2025
- committed
- committed
- committed
Commits on Aug 1, 2025
- committed
- committed