Crate mdbook_numthm

Source
Expand description

An mdBook preprocessor for automatically numbering theorems, lemmas, etc.

Structsยง

NumThmPreprocessor
A preprocessor for automatically numbering theorems, lemmas, etc.