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.

Sequent calculus template