Information for "Category:Coq"

Basic information

Display titleCategory:Coq
Default sort keyCoq
Page length (in bytes)663
Page ID989
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1

Category information

Total number of members15
Number of pages12
Number of subcategories3
Number of files0

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorMikeMol (talk | contribs)
Date of page creation19:42, 22 February 2008
Latest editorrosettacode>AndiPersti
Date of latest edit18:52, 15 March 2014
Total number of edits6
Total number of distinct authors5
Recent number of edits (within past 180 days)0
Recent number of distinct authors0

Page properties

Transcluded template (1)

Template used on this page:

SEO properties



Article description: (description)
This attribute controls the content of the description and og:description elements.
In computer science, Coq is a proof assistant application. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps...
Information from Extension:WikiSEO