diff --git a/CV.pdf b/CV.pdf index 4de1bdc..b3d77fe 100644 --- a/CV.pdf +++ b/CV.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:963b12fe18a40c03febb4aa3b20aeb30c74f5e3f5a4f73e718a11b1b22f78962 -size 101311 +oid sha256:08c43ebddc20a33bf36d64e737becf9a34e84f6412fc30c28dcefc7b88dde076 +size 101395 diff --git a/CV.tex b/CV.tex index b870bd0..9108051 100644 --- a/CV.tex +++ b/CV.tex @@ -101,6 +101,7 @@ familiar with Linux, Docker, and shell programming \begin{tabular}{L!{\VRule}R} Spring 2024 & \say{Proof Formalization in Lean, or: how to trick your computer into doing (even) more math} 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 \\ Spring 2024 & \say {A (very) Brief Introduction to Lean 4} in Student Algebra Seminar at the University of Oklahoma \\ Fall 2023 & \say{On Congruences of Coefficients of Modular Forms} in the ARTS (Algebra and Representation Theory Seminar) at the University of Oklahoma \\