Jim's
Tutorials

Spring 2019
course
site

\[ \frac{\Gamma \vdash A \quad \Gamma \vdash B}{\Gamma \vdash A \wedge B} \]