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
[edit]___ (theorem prover) or ___ theorem prover. 67.252.103.23 (talk) 12:54, 17 March 2014 (UTC)