Skip to content

feat: classes for inference systems and logical equivalence#398

Draft
fmontesi wants to merge 5 commits intomainfrom
logic-classes
Draft

feat: classes for inference systems and logical equivalence#398
fmontesi wants to merge 5 commits intomainfrom
logic-classes

Commits

Commits on Mar 3, 2026

Commits on Mar 4, 2026