leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

Delimiters should go on their own line in multiline docs

Open Rida-Hamadani opened this issue 1 year ago • 0 comments

Check this topic on Zulip.

Rida-Hamadani avatar May 15 '24 03:05 Rida-Hamadani