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

1 points| StevenXC | 1 year ago |lurchmath.github.io