This GitHub repository contains a re-implementation of the IPL-V programming language and the Logic Theorist (LT) program. It includes the original code transcribed into a TSV format and converted to Lisp, along with documentation and debugging tools.
