• Topics
• Roles
• Notes
• CoqIDE
• Dune
• Coq Users and Developers Workshop 2023