theorem-prover

Release 0.1.1

Implementation of a theorem prover for first-order logic.

Cargo Documentation Download

License
MIT

Stats

Dependencies
6
Dependent packages
0
Dependent repositories
0
Total releases
2
Latest release
First release
SourceRank
4

Releases

0.1.1
0.1.0

Maintainers

Jimmy Chen Chen

Login to resync this project