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.
updated links to issues
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
English
No commit message
More about "now"
Warn that at the current stage, this is a proposal
coqdoc
First template towards Coq standard library guidelines