Hi there, it appears that ATS often performs better than C++ in the The Computer Language Benchmarks Game which I think makes it quite notable. Errantkid (talk) 14:36, 23 October 2008 (UTC)
I'm not quite sure which article to link to with regard to theorem proving. Automated theorem proving does not look correct to me. Help please? Errantkid (talk) 14:36, 23 October 2008 (UTC)