"You Didn't Know It, but You Really Want to Learn Sequent Calculus"
Slides and more at https://arosien.github.io/sequentish.
arosien/sequentish
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|