Skip to content

feat(Logics/Propositional): five-primitive formula type with primitive bot#648

Open
benbrastmckie wants to merge 5 commits into
leanprover:mainfrom
benbrastmckie:feat/propositional-v2
Open

feat(Logics/Propositional): five-primitive formula type with primitive bot#648
benbrastmckie wants to merge 5 commits into
leanprover:mainfrom
benbrastmckie:feat/propositional-v2

chore(references): English citation for Gentzen 1935

9376b73
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 3, 2026 in 2s