Wikipedia:Articles for deletion/Tau (theorem prover)
Not being maintained is irrelevant, but otherwise I agree with the nomination. Clear case of  too if you look who wrote the article
— User:Someone, 10:31, 10 February 2014 (UTC)
Stance: delete
Cited policy: WP:VANISPAM (Wikipedia:Neutral point of view)