• Topics
• Roles
• Notes
• Roadmap discussion
• 4 points on the guard condition.
• A topic on sections
• A topic on primitive projections
• General recursive notations
• Proved Extraction
• Demote stdlib
• Adding the renaming on the roadmap
• Digression on the Coq Platform
• Glitches in the migration towards githubpages