Lurch: a word processor built on OpenMath that can check mathematical reasoning.
['Nathan C. Carter', 'Kenneth G. Monks']
Lurch: a word processor built on OpenMath that can check mathematical reasoning.