/logic-theorist

The sources of the first theorem prover.

Stargazers

No one’s star this repository yet.