• Notes on migrating Coq wiki
• Previous situation
• New situation : Github wiki
• Why moving ?
• Caveat
• TODO
• References