GitHub repository: yannickseurin/mdbook-numthm
Primary language: Rust
Created: 2023-11-24T15:46:01Z
Description: An mdBook preprocessor to automatically number theorems, lemmas, etc.