Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our fifteenth “Mathcomp sharing day”. On February 25th 2026, from 10am to 5pm Paris 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.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Fourteenth Mathcomp sharing days | 0 | 24 | January 23, 2026 | |
| Twelfth Mathcomp sharing day | 0 | 34 | September 18, 2025 | |
| Thirteenth Mathcomp sharing day | 0 | 49 | November 24, 2025 | |
| Second Mathcomp sharing day | 0 | 92 | May 22, 2024 | |
| Ninth Mathcomp sharing day | 0 | 50 | March 24, 2025 |