HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
github.com/dmoews
1 comment
a month ago
abrax3141
26 points