From e2266007eb1f5537b1a873ad49908eb9c488fa54 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Mon, 9 Sep 2024 11:38:50 +0200 Subject: [PATCH] new: Added PGP key --- index.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/index.html b/index.html index b027673..d15e042 100644 --- a/index.html +++ b/index.html @@ -62,7 +62,9 @@

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 .