User talk:JHalcomb

Nomination of Tau (theorem prover) for deletion
A discussion is taking place as to whether the article Tau (theorem prover) is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Articles for deletion/Tau (theorem prover) until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article. Ysangkok (talk) 13:01, 9 February 2014 (UTC)