Wikipedia:Articles for deletion/Tau (theorem prover)
Yep, agreeing with above about 
— User:IRWolfie, 19:02, 10 February 2014 (UTC)
Stance: delete
Cited policy: WP:VANISPAM (Wikipedia:Neutral point of view)