Skip to content

Fix #20679: avoid spurious newline in rocqdoc blocks.#20710

Open
Zimmi48 wants to merge 1 commit intorocq-prover:masterfrom
Zimmi48:fix-rocqdoc-css

Commits

Commits on Jun 4, 2025