Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Home

akkartik edited this page · 3 revisions
Clone this wiki locally

Created by [Doug Lenat](http://en.wikipedia.org/wiki/Automated_Mathematician)

Prolog Version by [Bruce Porter](http://www.cs.utexas.edu/~porter), Ray Bareiss, Adam Farquhar, M.V. LaPolla, Kim Matocha, Ken Murray, Martin Purvis, and Todd Stock

Something went wrong with that request. Please try again.