├── README.md └── logic_theorist.pdf /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/theoremprover-museum/logic-theorist/HEAD/README.md -------------------------------------------------------------------------------- /logic_theorist.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/theoremprover-museum/logic-theorist/HEAD/logic_theorist.pdf --------------------------------------------------------------------------------