2. What do you intend to use Boxer for? (e.g., 6th grade science, geometry, ...)
Boxer newsgroup
Features request and features discussion
Bug reports