Skip to content

doc(Style): clarify indentation of documentation strings#596

Open
grunweg wants to merge 1 commit intoleanprover-community:lean4from grunweg:MR-style-multiline-docstrings
+5-1

Commits

Commits on Feb 19, 2025