feat(Logics/Propositional): five-primitive formula type with primitive bot#648
Open
benbrastmckie wants to merge 5 commits into
Open
feat(Logics/Propositional): five-primitive formula type with primitive bot#648benbrastmckie wants to merge 5 commits into
benbrastmckie wants to merge 5 commits into
Commits
Commits on Jul 3, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
