Hacker News new | ask | show | jobs
by kvakil 2884 days ago
Reminds me quite a bit of this, which also includes FOL: http://proofs.openlogicproject.org/