The Lurch Project: a word processor designed to check the reasoning in proofshttps://lurchmath.github.io/site/index.html by StevenXC • 2 years ago 1 0 2 years agoLUlurchmath.github.io