mdbook-numthm 0.2.0

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