The Lurch Project: a word processor designed to check the reasoning in proofs

lurchmath.github.io