From a57021b4f95545a6ba8655374a75592b9f212cdf Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Tue, 12 Dec 2023 16:57:03 +0530 Subject: [PATCH] new: Added OCaml --- CV.pdf | 4 ++-- CV.tex | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CV.pdf b/CV.pdf index dec6988..970fe2f 100644 --- a/CV.pdf +++ b/CV.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:e00a7e20428e411586b3be9e2528c659d802c6ac2ed02083e271c62933baba23 -size 93814 +oid sha256:7723199bca53840ce29582fd65dbfcc287fa556a87c31bcc97262553e79129cb +size 93818 diff --git a/CV.tex b/CV.tex index de9651f..d0263bb 100644 --- a/CV.tex +++ b/CV.tex @@ -71,8 +71,8 @@ I'm interested in Algebraic Number Theory, specifically L-functions of modular f 2016 & I received the prestigious INSPIRE SHE scholarship (for the period 2016-2019). \end{longtable} -\section*{Technical Skills} -I know the languages SageMath, Lean 4, Rust, C++, C, Python, JavaScript, HTML, \LaTeX, and some SQL. I'm also familiar with Linux and shell programming. +\section*{Programming} +I have experience with the languages SageMath, Lean 4, Rust, C++, C, Python, OCaml, JavaScript, HTML, \LaTeX, and some SQL. I'm also familiar with Linux and shell programming. \section*{Projects, Readings and Internships} \begin{tabular}{L!{\VRule}R} 2023 & Formalization of Mathematics Summer School from 5-16 June in SLMath (formerly MSRI), Berkeley, CA \\