Commit 2024-05-13 14:15 a5eb48ce
View on Github →fix: remove consecutive backticks (#12866)
Fixes a formatting issue in the output of move-decls.
As reported in #12829.
On that PR, the new script reports
+Additive.instDecidablePredEven--[DecidablePred-even_abs+isSquare_mabs+Multiplicative.instDecidablePredIsSquare