Category talk:Theorem proving software systems
Latest comment: 10 years ago by 67.252.103.23 in topic Convention needed
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)