• Coq Hackathon and Working Group, Winter 2022
• Participation and registration
• Schedule
• Tuesday 15th
• Wednesday 16th
• Thursday 17th
• Activity Log
• Activities
• Proposed
• Requested
• Participants
• Activity log
• Description of activities / sessions
• Bug Squashing Party
• Program
• Participants
• Diversity session
• jsCoq session
• Participants
• Dune session
• A preliminary program is (feel free to add your topic):
• Participants
• SerAPI session
• Using nix for a Coq package
• Participants
• Standard Library Discussion