DecompHub

am-utexas

Project status: Unknown

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

Target software or hardware
Unknown
Work type
Reimplementation and compatibility
Primary public repository
github.com/akkartik/am-utexas
GitHub
—GitHub stars

Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.

The upstream repository is archived. This is separate from the project's reported status.

Repository metadata needs refreshing. The cached listing remains available.

About and scope

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

Contribution availability

Contribution policy unknown

AI-assisted contribution policy
Unspecified

Documented contributor systems

Contributor setup not documented

Reported progress

Progress not reported

Sources, builds and releases