refactor(Logics/Propositional): classical and intuitionistic inference systems#536
Open
thomaskwaring wants to merge 8 commits intoleanprover:mainfrom
Open
refactor(Logics/Propositional): classical and intuitionistic inference systems#536thomaskwaring wants to merge 8 commits intoleanprover:mainfrom
thomaskwaring wants to merge 8 commits intoleanprover:mainfrom
Commits
Commits on May 1, 2026
- committed
twwar
Commits on May 2, 2026
- committedtwwar
- committedtwwar
- committedtwwar
- authored
- committedtwwar
- committedtwwar
Commits on May 4, 2026
- committedtwwar