official GitHub repository for Theorem, an open-source, online math problem solver written in Groovy/Grails.