diff --git a/index.html b/index.html index 6ab2604..e94d305 100644 --- a/index.html +++ b/index.html @@ -45,7 +45,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