Deletion of Tau (theorem prover)

Comment: Yep, agreeing with above about 
Stance: delete
Cited policy: Wikipedia:Neutral point of view (WP:VANISPAM)

Comment: as . Only one (uncited) paper mentions this tool. -- Special:Contributions/101.119.28.55|101.119.28.55
Stance: delete
Cited policy: Wikipedia:Neutral point of view (WP:VANISPAM)

Comment: Not being maintained is irrelevant, but otherwise I agree with the nomination. Clear case of  too if you look who wrote the article
Stance: delete
Cited policy: Wikipedia:Neutral point of view (WP:VANISPAM)