Open
Description
There are lectures such as #440 (comment)
that make use of remarks
that could be nicely wrapped in admonitions, however the style is currently overly bold in sphinx-proof
and gives too much weight to the contents.
Once executablebooks/sphinx-proof#98 is resolved we can loop through and add the admonitions to this lecture series.
Metadata
Metadata
Assignees
Labels
No labels