Stream: math-comp users

Topic: First Mathcomp Sharing Day

view this post on Zulip Cyril Cohen (Apr 22 2024 at 11:35):

Discourse Bot said:

@CohenCyril (Cyril Cohen) posted in First Mathcomp sharing day

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our first "Mathcomp sharing day". On April 24th 2024, From 10am to 5pm Paris time, mathcomp users, from enthusiasts to experts, are welcome to casually meetup online and engage in various activity among which: contributing to mathcomp (fixing bugs, solving issues, adding features, integrating external developments to mathcomp, etc) to discussions on future directions of mathcomp. More information here:

Last updated: Jul 23 2024 at 20:01 UTC