preprocessor numthm
The preprocessor numthm is available on crates.io.
An mdbook preprocessor for automatically numbering theorems, lemmas, etc.
| Title | preprocessor field |
|---|
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
The preprocessor numthm is available on crates.io.
An mdbook preprocessor for automatically numbering theorems, lemmas, etc.
| Title | preprocessor field |
|---|