3 ms·
Has any of the code for this survived?
by codezero 8y ago
Has any of the code for this survived?
- Immortalin 8y agoSome https://github.com/theoremprover-museum/logic-theorist https://github.com/theoremprover-museum/logic-theorist
- Cieplak 8y agoNot the original source but pretty explanatory: https://history-computer.com/Library/Logic%20Theorist%20memorandum.pdf https://history-computer.com/Library/Logic%20Theorist%20memo...