A Prover for G3CP and G3IP A sequent calculus prover for intuitionistic and classical propositional logics

, par Enrico Tassi, Stefano Zacchiroli