Talk:Automath theorem prover
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| Stub | This article has been rated as Stub-Class on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
[edit] Disambiguation page?
this is said to be a Autodidact in the article Autodidacticism perhaps a disambiguation page is in order? --Pete Iriarte (talk) 05:06, 3 March 2008 (UTC)
