mdbook-numthm 0.3.0

An mdbook preprocessor for automatically numbering theorems, lemmas, etc.
Documentation