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 .