← All repos

akkartik/am-utexas

View on GitHub ↗ ★ 58 archived

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

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2008-12-21 · latest 2021-08-29