Coq is the only real Mathematics language I've ever played with. Everything else just feels like it's ultimately Arithmetic, even when doing Symbolic Algebra n

Coq is the only real Mathematics language I've ever played with. Everything else just feels like it's ultimately Arithmetic, even when doing Symbolic Algebra natively in Haskell or Lisp or Mathematica.