theoremprover-museum/logic-theorist

The sources of the first theorem prover.