From 12884b8c5ae5aa81d87fbb15bf0c25029c140767 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Thu, 12 Sep 2024 12:20:00 +0200 Subject: [PATCH] chg: Changed the domain name for git --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index d15e042..7e0f89a 100644 --- a/index.html +++ b/index.html @@ -57,7 +57,7 @@
  • \(\ell\)-adic Galois Representations
  • - You can take a look at my CV here. + You can take a look at my CV here.

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