Skip to content

Added separate styling for Lean comments#3

Merged
lzy0505 merged 1 commit into
logsem:mainfrom
fresheed:comment_style
Jul 17, 2026
Merged

Added separate styling for Lean comments#3
lzy0505 merged 1 commit into
logsem:mainfrom
fresheed:comment_style

added separate styling for Lean comments

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

Annotations

1 warning
Build book
succeeded Jul 16, 2026 in 29s