Awesome

coq-sequent-calculus

Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic