feat: Added possibility for shared numbering of theorems. - #164

Merged

douden merged 12 commits into

prepare-releasefrom

Jan 24, 2026

Commits on Jan 24, 2026

feat: Added possibility for shared numbering of theorems, fixing issue #64 (#161)
Ljon4ik4
authored
cb49b2a
Merge branch 'prepare-release' into Ljon4ik4-main
douden
authored
f1e5ce8
Refactor title creation in ProofDomain
douden
committed
b14d019
Add config validation and refactor proof type mapping
douden
committed
c348865
Move DEFAULT_REALTYP_TO_COUNTERTYP to proof_type.py
douden
committed
593ad75
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
d6c4b31
Inline DEFAULT_REALTYP_TO_COUNTERTYP mapping in directive.py
douden
committed
b6d6af3
Merge branch 'Ljon4ik4-main' of https://github.com/executablebooks/sphinx-proof into Ljon4ik4-main
douden
committed
c90acbe
Move DEFAULT_REALTYP_TO_COUNTERTYP to proof_type.py
douden
committed
a33704a
Move DEFAULT_REALTYP_TO_COUNTERTYP to directive.py
douden
committed
72293a5
Refactor proof type mapping to use PROOF_TYPES
douden
committed
9e3391b
Inline DEFAULT_REALTYP_TO_COUNTERTYP mapping
douden
committed
f51aa51