Behold.
\[
\begin{gathered}
{\Gamma \vdash i : \mathbb{Z}}
\qquad
\frac{\Gamma \vdash e_1 : \mathbb{Z} \quad
\Gamma \vdash e_2 : \mathbb{Z}}
{\Gamma \vdash e_1 + e_2 : \mathbb{Z}}
\end{gathered}
\]
Now with code block!
let f (x : int) (y : int) =
x + y
Hi, this is a comment.
To get started with moderating, editing, and deleting comments, please visit the Comments screen in the dashboard.
Commenter avatars come from Gravatar.