• Fourth Coq Implementors Workshop, May 28th - June 1st, 2018, Nice
• Location
• Sponsors
• Program (Preliminary)
• Monday
• Wednesday
• Unscheduled
• Gitter room
• Do log what you did/learned/implemented!
• Registration
• Organizers
• List of participants [alphabetical]
• Suggestions by New Participants
• Proposed Projects and Ideas
• Topics of interest
• Projects listed on Monday
• Profiling and performance.
• Custom rewrite tactic under for SSReflect
• Forward Reasoning Automation
• Plugin design
• Equivalences
• Template Coq
• Achievements listed on Friday
• plugin tutorial updates
• Forward reasoning automation
• Plugin design
• Equivalences
• AAC tactics
• Template Coq
• 'have' tactic
• Agda-like rewrite rules
• Profiling computation in Coq
• New implementation of a tactic under for SSReflect