Found a decent format for judgment form rules

final/main.tex

@@ -22,6 +22,9 @@
 % ONE MOTHERFUCKING SPACE AFTER EACH MOTHERFUCKING SENTENCE
 \frenchspacing
 
+% judgment form
+\usepackage{ebproof}
+
 \title{[TITLE]}
 \author{Mark Cohen, Adam Shaw}
 \date{5 June 2019}
@@ -29,5 +32,13 @@
 \begin{document}
 \maketitle
 
+\[
+\begin{array}{cl}
+  \textbf{PRED} & {\begin{prooftree}
+      \Hypo{A \vdash e :: (x :: \tau) . \rho \mapsto (\lambda x_\tau . \bar{e})}
+      \Infer 1 {A, (x :: \tau \mapsto x_\tau) \vdash e :: \rho \mapsto \bar{e}}
+  \end{prooftree}} \\
+\end{array}
+\]
 
 \end{document}