theorem-prover

kkty
js
theorem-prover JS library on GitHub theorem-prover JS library on npm Download theorem-prover JS library

An automated theorem prover for first-order predicate logic written in TypeScript

Version 0.0.3 License MIT
theorem-prover has no homepage
theorem-prover JS library on GitHub
theorem-prover JS library on npm
Download theorem-prover JS library