/am-utexas

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

Primary LanguageProlog

Stargazers

No one’s star this repository yet.