Skip to content

feat(Foundations/Logic): Hilbert proof systems, ND equivalence, and intuitionistic hierarchy#630

Closed
benbrastmckie wants to merge 7 commits into
leanprover:mainfrom
benbrastmckie:pr1/foundations-logic
Closed

feat(Foundations/Logic): Hilbert proof systems, ND equivalence, and intuitionistic hierarchy#630
benbrastmckie wants to merge 7 commits into
leanprover:mainfrom
benbrastmckie:pr1/foundations-logic

chore(Cslib): reorder imports per mk_all canonical order

f72a669
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jun 12, 2026 in 3s