Dec 082017
C source for Theorem prover (formal logic). | |||
---|---|---|---|
File Name | File Size | Zip Size | Zip Type |
PROVER.C | 9651 | 2451 | deflated |
PROVER.EXE | 9826 | 6057 | deflated |
Download File PROVER.ZIP Here
December 8, 2017
Add comments
C source for Theorem prover (formal logic). | |||
---|---|---|---|
File Name | File Size | Zip Size | Zip Type |
PROVER.C | 9651 | 2451 | deflated |
PROVER.EXE | 9826 | 6057 | deflated |