Category talk:Theorem proving software systems

This category should be moved to theorem-proving software systems.

Once again we see one of the way in which categories are inferior to lists: you can't just hit the "move" button. Michael Hardy (talk) 19:51, 5 January 2010 (UTC)

Convention needed

___ (theorem prover) or ___ theorem prover. 67.252.103.23 (talk) 12:54, 17 March 2014 (UTC)