4 ms·
Reminds me quite a bit of this, which also includes FOL: http://proofs.openlogicproject.org/ http://proofs.openlogicproject.org/
by kvakil 8y ago
Reminds me quite a bit of this, which also includes FOL: http://proofs.openlogicproject.org/ http://proofs.openlogicproject.org/