Concept
Sequent 0
A sequent is like a math sentence that shows how one thing can lead to another. It's used to help us understand and prove ideas by showing the steps we take to get from one idea to another.
Relevant Degrees