We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
update FAQ url
Link back to the Coq FAQ main page.
Created Documentation (markdown)
Destroyed Documentation (markdown)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
converted to 1.6 markup
No commit message
Some grammatical corrections