Skip to content

refactor(Logics/Propositional): classical and intuitionistic inference systems#536

Merged
fmontesi merged 10 commits into
leanprover:mainfrom
thomaskwaring:nj-theories-fresh
Jun 16, 2026
Merged

refactor(Logics/Propositional): classical and intuitionistic inference systems#536
fmontesi merged 10 commits into
leanprover:mainfrom
thomaskwaring:nj-theories-fresh

fix build

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

Annotations

1 warning
ci-checks
succeeded Jun 15, 2026 in 9m 2s