SinTan1729/CV
1
0
Fork 0
Code Pull requests Activity

new: Added a talk

Browse source
This commit is contained in:
Sayantan Santra 2024-04-09 22:40:41 -05:00
parent cf83c98149
commit e905feb2a6
Signed by: SinTan1729
GPG key ID: EB3E68BFBA25C85F
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
CV.pdf (Stored with Git LFS)
View file

Binary file not shown.

2
CV.tex
View file

@ -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 \\