Open
Description
If we want to support commonality with sphinxcontrib-proof
we may want to add the common types:
proof_theorem_types = {
"algorithm": "Algorithm",
"conjecture": "Conjecture",
"corollary": "Corollary",
"definition": "Definition",
"example": "Example",
"lemma": "Lemma",
"observation": "Observation",
"proof": "Proof",
"property": "Property",
"theorem": "Theorem",
}
https://sphinxcontrib-proof.readthedocs.io/en/latest/usage/#common-options
Metadata
Metadata
Assignees
Labels
No labels