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.
typo
fix wiki links (no more ../)
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
Link to tentative guidelines
Small update
Add specific issues from page StandardLibrary + links
About compatibility, about design of arithmetic
fmt, lk StandardLibrary
Small change
Added metadata issue and reworking the structure of the page
Preliminary proposal for a discussion page on the standard library of Coq