Crate mdbook_numthm

source ·
Expand description

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

Structs§