We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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