Sequent calculus template
Author
Tatu Pössi
License
Creative Commons CC BY 4.0
Abstract
A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.
A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.