Skip to content

Enable minimal theme for proof/admonition directives#334

Merged
mmcky merged 1 commit into
mainfrom
add-proof-minimal-theme
Jun 5, 2026
Merged

Enable minimal theme for proof/admonition directives#334
mmcky merged 1 commit into
mainfrom
add-proof-minimal-theme

Enable minimal theme for proof/admonition directives

bfda94d
Select commit
Loading
Failed to load commit list.
Netlify / Pages changed - lustrous-melomakarona-3ee73e completed Jun 5, 2026 in 4s

1 new file uploaded

No generated pages and 1 asset changed.

View more details on Netlify