From e905feb2a6042a29dd94fcb7aeba4c458d39e943 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Tue, 9 Apr 2024 22:40:41 -0500 Subject: [PATCH] new: Added a talk --- CV.pdf | 4 ++-- CV.tex | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/CV.pdf b/CV.pdf index d9db544..4de1bdc 100644 --- a/CV.pdf +++ b/CV.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:b166a0fd1133dd14183b7f2d9a9856466ed874de2778582aeda86cc97269fd88 -size 100913 +oid sha256:963b12fe18a40c03febb4aa3b20aeb30c74f5e3f5a4f73e718a11b1b22f78962 +size 101311 diff --git a/CV.tex b/CV.tex index f02a19d..b870bd0 100644 --- a/CV.tex +++ b/CV.tex @@ -99,6 +99,8 @@ familiar with Linux, Docker, and shell programming \section{Presentations/Talks} \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 {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 \\