The Sequent Calculus Calculator - Kamm, Matteo; Marti, Mike (My University, 2019)
Keywords: Web based; Academic and Education; IFS (Institute for Software)