We have many projects in Symbolistics:

• MathOak: In this project, we develop libraries and tools for practical mathematics and solve mathematical problems with pen and paper, Mathematica, GeoGebra, Racket, Haskell, and many other tools.
• MathExi: This is a project in which we research advanced and theoretical mathematics, and study disciplines like Group Theory, Graph Theory, Topology, Lambda Calculus, Calculus of Constructions, Category Theory, Type Theory, etc. The tools we mainly rely on here are Haskell and . BTW: MathExi is short for Mathematical Existence.
• Lingistus: We do Natural languages practice this project.

Besides Pen and Paper, we mention many tools above, in case you don't know them, here are the links (and icons ):

Mathematica	GeoGebra
Haskell	Agda
Racket	Clojure
C++	Rust
Python	JavaScript

In Symbolistics, have regular meetings and irregular activities for members to solve problems, study topics, and exchange opinions. Parts of the outcome of the meetings and activities will be published on this site and open to non-members.

If you are interested in being a member, welcome to join us.

• Reading
• Games

• Members
• Wiki Help
• Sandbox