Skip to content

Pfeifer/proof mgmt includes fix#3757

Merged
WolframPfeifer merged 2 commits intomainfrom
pfeifer/proofMgmtIncludesFix
Mar 17, 2026
Merged

Pfeifer/proof mgmt includes fix#3757
WolframPfeifer merged 2 commits intomainfrom
pfeifer/proofMgmtIncludesFix

Commits

Commits on Mar 11, 2026