• Help on Cocorico!, the Coq Wiki on Github
• Syntax
• Before creating a new page ...
• History
• Git
• Subdirectories
• Images and attachments
• Compared with the earlier MoinMoin wiki...