Skip to content

fix: use plain underscores in \lean{} tags (plasTeX compatibility)

95ffb6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Ch28: Three applications of Euler's formula #130

fix: use plain underscores in \lean{} tags (plasTeX compatibility)
95ffb6e
Select commit
Loading
Failed to load commit list.
style_lint
succeeded Mar 16, 2026 in 4s