Reanimation of the First Automatic Theorem Prover (From 1956)

**Brief Summary (2‑3 sentences)** This repository revives the world’s first automatic theorem prover, originally written in 1956, by rebuilding it from historic