Hacker News new | ask | show | jobs
The Lurch Project: a word processor designed to check the reasoning in proofs (lurchmath.github.io)
1 points by StevenXC 803 days ago