am-utexas icon indicating copy to clipboard operation
am-utexas copied to clipboard

verified publisher icon akkartik
→

Metadata

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

← Metadata

49
Stars
8
Forks
Watchers

Owner

verified publisher icon akkartik

Metadata

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

Back