Sequent calculus template

Author
Tatu Pössi
License
Creative Commons CC BY 4.0
Abstract