Login
From:
ryanbrewer.dev
(Uncensored)
subscribe
Par Part 1: Sequent Calculus - Ryan Brewer
https://ryanbrewer.dev/posts/sequent-calculus/
links
backlinks
Roast topics
Find topics
Find it!
Sequent Calculus is a way of doing logic that's very explicit and mechanical. It's used as an important system and notation for type theory and logic related to programming languages.
