feat(Logics/Propositional): definitions#89

Merged

fmontesi merged 10 commits into

leanprover:mainfrom

thomaskwaring:nj-better

Apr 6, 2026

Commits on Oct 8, 2025

define proposition, theory
twwar
committed

Commits on Oct 11, 2025

scope grinds, lemmas
thomaskwaring
authored

Commits on Apr 6, 2026

edits
twwar
committed
classical logics don't need explicit efq
twwar
committed
grind patterns
twwar
committed
MPL docstring
twwar
committed
modules?
twwar
committed
Merge branch 'main' into nj-better
thomaskwaring
authored
docstrings
twwar
committed
import init
twwar
committed