sequents

Proof & type theory studies