Skip to content

Add proved_elsewhere axiom#176

Merged
TwoFX merged 1 commit intomasterfrom
markus/proved-elsewhere
Jun 10, 2025
Merged

Add proved_elsewhere axiom#176
TwoFX merged 1 commit intomasterfrom
markus/proved-elsewhere

Commits

Commits on Jun 10, 2025