Skip to content

Delimiters should go on their own line in multiline docs#475

Open
Rida-Hamadani wants to merge 1 commit intoleanprover-community:lean4from Rida-Hamadani:patch-2
+13-7

Commits

Commits on May 15, 2024