Hmm, there is a post about them on the front page of Hacker News. I am a bit sad that in the post and comments nobody mentions sympy, but as their site broke under the load, I can not check how much of it is really based on sympy.
http://news.ycombinator.com/item?id=4066826 -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
