Wikipedia:Articles for deletion/Tau (theorem prover)


 * The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review).  No further edits should be made to this page.

The result was   delete. slakr \ talk / 13:00, 18 February 2014 (UTC)

Tau (theorem prover)

 * – ( View AfD View log  Stats )

unavailable, unmaintained, non-notable (subject of one uncited paper) Ysangkok (talk) 13:01, 9 February 2014 (UTC)
 * Note: This debate has been included in the list of Science-related deletion discussions. • Gene93k (talk) 02:22, 10 February 2014 (UTC)
 * Note: This debate has been included in the list of Software-related deletion discussions. • Gene93k (talk) 02:23, 10 February 2014 (UTC)


 * Delete. Not being maintained is irrelevant, but otherwise I agree with the nomination. Clear case of WP:VANISPAM too if you look who wrote the article. Someone not using his real name (talk) 10:31, 10 February 2014 (UTC)
 * Delete as WP:VANISPAM. Only one (uncited) paper mentions this tool. -- 101.119.28.55 (talk) 13:03, 10 February 2014 (UTC)
 * Delete Yep, agreeing with above about WP:VANISPAM, IRWolfie- (talk) 19:02, 10 February 2014 (UTC)
 * The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.