Full threadCatsAreCool·A Google Group has been created to discuss MathLingua and Mathematical Knowledge Management at https://groups.google.com/d/forum/mathlingua-discuss.Everyone is welcome to join.View on HN