Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our eighth “Mathcomp sharing day”. On November 27th 2024, from 9am 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 | |
|---|---|---|---|---|
| Sixth Mathcomp sharing day | 0 | 27 | September 18, 2024 | |
| Second Mathcomp sharing day | 0 | 85 | May 22, 2024 | |
| First Mathcomp sharing day | 1 | 153 | April 27, 2024 | |
| MathComp Workshop and Winter School (Dec 5-9 2022) - second call | 0 | 404 | October 12, 2022 | |
| MathComp Workshop and Winter School (Dec 5-9 2022) | 0 | 614 | August 30, 2022 |