dmoews/logic-theorist
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover.
0Active
On the radar — signal detected
Stars
10
Forks
0
Contributors
0
Language
Python
Score updated Jun 26, 2026
// SUBSCRIBE
The repos that moved this week, why they matter, and what to watch next. One email. No noise.