Hacker Neus
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
(github.com)
25 points
by abrax3141
5 days ago |
1 comment
