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

Merged

fmontesi merged 10 commits into

leanprover:mainfrom

thomaskwaring:nj-theories-fresh

Jun 16, 2026

Commits on May 1, 2026

refactor IsIntuitionistic IsClassical
twwar
committed

Commits on May 2, 2026

derived rules
twwar
committed
docs
twwar
committed
fix build Computability.Automata.NA.Concat
twwar
committed
Merge branch 'main' into nj-theories-fresh
thomaskwaring
authored
docs
twwar
committed
init
twwar
committed

Commits on May 4, 2026

header docstring
twwar
committed

Commits on Jun 15, 2026