Douglas Lenat's Automated Mathematician Source Code

 (github.com)

15 points | by hydrolox 4 days ago

1 comments