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.
attachments to the CoqIW2017 page
fix link
conversion from rst to markdown via pandoc
Converted to reStructuredText via moin2rst
No commit message
updated the link to the fixed attachment for slides. Can someone please delete attachment:CoqImplWorkshop2017.pdf?
add slides for emilio's talk