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

1 point by StevenXC 1 year ago | 0 comments