L lurchmath.github.io The Lurch Project: a word processor designed to check the reasoning in proofs 1 points StevenXC 2 years ago 0 comments
