Skip to content

Replace markdown with pulldown-cmark - #133

Merged
Kha merged 11 commits into
leanprover:masterfrom
mans0954:mans0954/remove-markdown
Sep 17, 2025
Merged

Replace markdown with pulldown-cmark#133
Kha merged 11 commits into
leanprover:masterfrom
mans0954:mans0954/remove-markdown

Do indenting correctly

f69cbc2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.