The Sequent Calculus Calculator - Marti, Mike; Kamm, Matteo (My University, 2019)
Keywords: Software