Information for "Category:Dafny"

Basic information

Display titleCategory:Dafny
Default sort keyDafny
Page length (in bytes)917
Namespace ID14
Page ID11626
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1

Category information

Total number of members4
Number of pages4
Number of subcategories0
Number of files0

Page protection

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

Edit history

Page creatorrosettacode>Mcguire
Date of page creation18:59, 4 May 2017
Latest editorrosettacode>Mcguire
Date of latest edit19:17, 4 May 2017
Total number of edits3
Total number of distinct authors1
Recent number of edits (within past 180 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (8)

Templates used on this page:

SEO properties



Article description: (description)
This attribute controls the content of the description and og:description elements.
Dafny is a programming language developed and maintained by Microsoft. It includes built-in specification constructs which can be used to verify the functional correctness...
Information from Extension:WikiSEO