Commit 2024-04-30 11:37 d29b3780
View on Github →chore: adapt to multiple goal linter 3 (#12372) A PR analogous to #12338 and #12361: reformatting proofs following the multiple goals linter of #12339.
chore: adapt to multiple goal linter 3 (#12372) A PR analogous to #12338 and #12361: reformatting proofs following the multiple goals linter of #12339.