The Lurch Project: a word processor designed to check the reasoning in proofs #1 Post by StevenXC » Sun, Apr 07, 2024, 1:23 PM UTC The Lurch Project: a word processor designed to check the reasoning in proofslurchmath.github.io