Ken Monks, Nathan Carter

Free
Lurch is a word processor that can check your mathematical reasoning.