Hacker News new | past | comments | ask | show | jobs | submit login

Reminds me quite a bit of this, which also includes FOL: http://proofs.openlogicproject.org/



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: