\documentclass{article}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{enumerate}
\usepackage{ifthen}
\usepackage{ulem} % for strikethrough \sout{...} command
\usepackage{color}
\usepackage{hyperref}

\setlength{\unitlength}{0.1in}

\setlength{\oddsidemargin}{-0.25in}
\setlength{\evensidemargin}{-0.25in}
\setlength{\topmargin}{-0.25in}
\setlength{\headheight}{0.0in}
\setlength{\headsep}{0.0in}
\setlength{\topskip}{0.0in}
\setlength{\textheight}{9.75in}
\setlength{\textwidth}{7in}

\newcommand{\bdot}{\, {\scriptstyle{\bullet}} \,}
\newcommand{\B}[1]{{\bf {#1}}}
\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}

\newcommand{\myspace}{\parbox[c][0.25in]{0.25in}{\hfill}}
\newcommand{\varspace}[2]{\mbox{\parbox[c][#1]{#2}{\hfill}}}
\newcommand{\force}{{\noindent $\mbox{\;}$}}

\newcommand{\diagquotient}[2]{\displaystyle{{#1 \atop \;}\hspace*{-0.1in} \mbox{\put(0,0){\line(2,1){2}}} \hspace*{0.1in} {\; \atop #2}}}

\begin{document}

\pagestyle{empty}

\noindent
\parbox{2.25in}{\bf Math 2110}
\hfill {\Large \bf A Typed Up Proof} \hfill
\parbox{2.25in}{\bf \hfill Fri., Aug. $28^\mathrm{th}$, 2020}

\vspace{0.1in}

\noindent {\large\bf Name:} \underline{\Large\quad Bill Cook \quad} 

\vspace{0.2in}

You can just type stuff.
And here is some more.

A new paragraph has begun.

\vspace{0.2in}

{\noindent {\fbox{\bf Lemma 25:}} \quad}  $A \to B, B \to A \vdash_L A \leftrightarrow B$

\begin{enumerate}[1:]
   \item $A \to B$ \hfill \parbox{4.2in}{\underline{\arabic{enumi}: Given}}
   \item $B \to A$ \hfill \parbox{4.2in}{\underline{\arabic{enumi}: Given}}
   \item $(A \to B) \wedge (B \to A)$   \hfill \parbox{4.2in}{\underline{\arabic{enumi}: L18 with $A:=A\to B$ and $B:=B\to A$ using 1 and 2}}
   
   This is a new line.
   \item $A \leftrightarrow B$       \hfill \parbox{4.2in}{\underline{\arabic{enumi}: Abbreviate 3}}\\
   \force \hfill \underline{This {\it is} a new line.}
\end{enumerate}

\end{document}

