diff --git a/index.html b/index.html index 01bed0d..cb214f5 100644 --- a/index.html +++ b/index.html @@ -45,14 +45,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.