Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our 17th “Mathcomp sharing day”. On July 15th, 2026,
- from 1am UTC (3am Paris time or 10am Tokyo time),
- to 3pm UTC (5pm Paris time or midnight Tokyo time),
MathComp users, from enthusiasts to experts, are welcome to casually meetup online and engage in various activity from contributing to MathComp (fixing bugs, solving issues, adding features, integrating external developments to MathComp, etc) to discussions on future directions of MathComp.