[Proof Minimization Challenge] Minimal 1-bases for C-N propositional calculus · xamidi pmGenerator · Discussion #2

There are seven minimal single axioms for propositional logic in terms of {→,¬}, namely Meredith's axiom and Walsh's six axioms. This thread is meant to allow anyone to participate in the challenge...