Jump to content

Category talk:Theorem proving software systems

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by 67.252.103.23 (talk) at 12:56, 17 March 2014 (m). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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)[reply]

Convention needed

[edit]

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category_talk:Theorem_proving_software_systems&oldid=600002891"