< back to profile

am-utexas

Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin

repo ->live ->Dec 17, 2008
am-utexas screenshot
No README content was published for this project.

Command Palette

Search hackers, navigate pages