refactor: Adjust to new termination_by syntax#446
Closed
nomeata wants to merge 7 commits intoleanprover-community:nightly-testingfrom nomeata:lean-pr-testing-3040
+36-36
Commits
Commits on Dec 13, 2023
Commits on Dec 20, 2023
Commits on Dec 21, 2023
Commits on Dec 23, 2023
- committed