Skip to content

Subsumption equality resolution#841

Merged
quickbeam123 merged 7 commits intomasterfrom
subsumption-equality-resolution
Apr 21, 2026
Merged

Subsumption equality resolution#841
quickbeam123 merged 7 commits intomasterfrom
subsumption-equality-resolution

Commits

Commits on Apr 14, 2026

Commits on Apr 15, 2026

Commits on Apr 20, 2026

Commits on Apr 21, 2026