From da8f53559e4cd770a848cacfc249d23e2da8bd21 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Wed, 18 Sep 2024 12:33:22 -0500 Subject: [PATCH] chg: Moved the PGP key near the Email --- index.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/index.html b/index.html index 6ab2604..e94d305 100644 --- a/index.html +++ b/index.html @@ -45,7 +45,9 @@
Office: PHSC 910
- @@ -67,10 +69,8 @@

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. -
- -

My PGP key: A3319D1C521C0719


+ This page was last updated on .