MathLingua Discuss

Feel free to discuss anything related to MathLingua, related work, and Mathematical Knowledge Management in general.  You can discuss features, issues, new directions, suggestions, related work, cool ideas, or anything else you find interesting related to Math Knowledge Management.

The goal is to foster collaboration and discussion to develop an amazing toolchain(s) to allow the math community to formalize, discover, share, and explore the world of mathematics.