GIT_FEED

dmoews/logic-theorist

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover.

View on GitHub
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.