• Eigth Coq Users and Developers Workshop, July 1st - July 5th, 2024, Nantes Université (Nantes, France)
• Location
• Social Event
• Program
• Organization
• Registered participants
• Talks
• Discussions
• Topics