theorem-prover
kkty
js
An automated theorem prover for first-order predicate logic written in TypeScript
Version 0.0.3 License MIT
INSTALL
Files are loading...
Selected files
An automated theorem prover for first-order predicate logic written in TypeScript