diff --git a/index.html b/index.html index 982c08b..575ff3d 100644 --- a/index.html +++ b/index.html @@ -65,12 +65,16 @@
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. +Some links: +
+