From a8e5f371482a4f6a29292380f661960f871a4174 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Wed, 22 May 2024 21:29:00 -0500 Subject: [PATCH] chg: Edited research interests and added programming stuff --- index.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index d0889d4..b027673 100644 --- a/index.html +++ b/index.html @@ -53,15 +53,15 @@

I'm interested in Number Theory. Some of my areas of interest are:

- You can take a look at my CV here.
- Also, you can check out my GitHub profile here. + +

I'm also pretty decent in SageMath, Haskell, Lean 4, Rust, Python, and a few other programming languages.

+ You can check out my GitHub profile here.
This page was last updated on .