"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.
New to topics? Read the docs here!