The Lurch Project: a word processor designed to check the reasoning in proofs (lurchmath.github.io) 1 points by StevenXC 2y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 14.8 ms ] threadNo comments yet.