feat(Foundations/Logic): Hilbert proof systems, ND equivalence, and intuitionistic hierarchy#630
Closed
benbrastmckie wants to merge 7 commits into
Closed
feat(Foundations/Logic): Hilbert proof systems, ND equivalence, and intuitionistic hierarchy#630benbrastmckie wants to merge 7 commits into
benbrastmckie wants to merge 7 commits into
Commits
Commits on Jun 10, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
