Commit 2024-04-30 09:33 fe96aa45
View on Github →chore: adapt to multiple goal linter 2 (#12361) A PR analogous to #12338: reformatting proofs following the multiple goals linter of #12339.
chore: adapt to multiple goal linter 2 (#12361) A PR analogous to #12338: reformatting proofs following the multiple goals linter of #12339.