Samuele
Marro
Toggle navigation
about
blog
cv
projects
teaching
Convergent Sequent Calculator
Python prover for sequent calculus