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