/mdbook-numthm

An mdBook preprocessor to automatically number theorems, lemmas, etc.

Primary LanguageRustMIT LicenseMIT

No issues in this repository yet.