Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
(github.com/dmoews)
26 points
abrax3141
22 days ago
1 comment