new: Aded a talk
This commit is contained in:
parent
14481ccf68
commit
6fba6fb30c
1
CV.tex
1
CV.tex
|
@ -108,6 +108,7 @@ familiar with Linux, Docker, and shell programming. Below are some of the projec
|
|||
|
||||
\section{Presentations/Talks}
|
||||
\begin{tabular}{L!{\VRule}R}
|
||||
Fall 2024 & \say{Cubic and Biquadratic Reciprocity} in Number Theory Learning Seminar at the University of Oklahoma \\
|
||||
Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} together with Dr. Mario Morán Cañón
|
||||
in OU Math Club at the University of Oklahoma \\
|
||||
Spring 2024 & \say{Exceptional Primes and Where to Find Them} in MathFest at the University of Oklahoma \\
|
||||
|
|
Loading…
Reference in New Issue