Login
From:
ryanbrewer.dev
(Uncensored)
subscribe
Par Part 1: Sequent Calculus - Ryan Brewer
https://ryanbrewer.dev/posts/sequent-calculus/
links
backlinks
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
