kkty/theorem-prover
Automated theorem prover for first-order predicate logic written in TypeScript
2 best points · 0 comments · 2 Hacker News posts · 28 GitHub stars · View on GitHub
Hacker News discussions
- Automated theorem prover for first-order predicate logic written in TypeScript (2 points, 0 comments, by kkty_21, 2019-07-31)
- First logic theorem prover written in TypeScript (2 points, 0 comments, by kkty_21, 2019-08-29)