22 ms·The Lurch Project: a word processor designed to check the reasoning in proofs1 points by StevenXC 2y ago