Wikipedia:Articles for deletion/Tau (theorem prover)
as . Only one (uncited) paper mentions this tool. -- Special:Contributions/101.119.28.55|101.119.28.55
— [[User talk:101.119.28.55|talk]]), 13:03, 10 February 2014 (UTC)
Stance: delete
Cited policy: WP:VANISPAM (Wikipedia:Neutral point of view)