English edit

Noun edit

sequent calculi

  1. plural of sequent calculus