greati/hilbert-classical-fragments

Proofs in Lean of the axiomatizability of all classical logic fragments.

Lean