Skip to content

feat(Logics/Propositional): five-primitive formula type with connective typeclasses#647

Closed
benbrastmckie wants to merge 1 commit into
leanprover:mainfrom
benbrastmckie:feat/propositional-five-primitive
Closed

feat(Logics/Propositional): five-primitive formula type with connective typeclasses#647
benbrastmckie wants to merge 1 commit into
leanprover:mainfrom
benbrastmckie:feat/propositional-five-primitive

task 188: implement five-primitive propositional logic PR

c8df555
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Jun 14, 2026 in 8m 34s