Source: wikibot/sequent

= Sequent
{wiki=Sequent}

"Sequent" can refer to different concepts depending on the context. Here are a few possibilities: 1. **Sequent Calculus**: In mathematical logic, a sequent is a formal expression used in sequent calculus, which is a type of proof system.