The Lurch Project: a word processor designed to check the reasoning in proofs lurchmath.github.io 1 points by StevenXC 2 years ago · 0 comments Reader PiP Save No comments yet.