The topics of the next MathComp meeting are taken from this list. Please append your topic:

• appoint secretary for this meeting
• bullet, indentation, controling number of resulting goals... (again)
• Renaming GRing.exp (#1503)
• moving interval.v from algebra to order (c.f., https://github.com/math-comp/math-comp/pull/1521#discussion_r2690744993 )
• ssreflect (with rewrite -> rw) in Prelude (c.f., https://github.com/rocq-prover/rocq/pull/21478 )
• PR triage
• pick a chair for next meeting

https://inria.webex.com/inria-en/j.php?MTID=m4eb3e8ccf90feb51900d889e329f1862

(if the meeting is not created yet, please wait a few minutes)

Mathcomp fortnightly meeting
Hosted by Cyril Cohen

https://inria.webex.com/inria-en/j.php?MTID=m4eb3e8ccf90feb51900d889e329f1862
mercredi 14 mai 2025 10:00 | 1 hour | (UTC+02:00) Brussels, Copenhagen, Madrid, Paris
Occurs every 2 week(s) on Wednesday effective 14/05/2025 from 10:00 to 11:00, (UTC+02:00) Brussels, Copenhagen, Madrid, Paris
Meeting number: 2740 250 4030
Password: 43YGx2ZaARB

Join by video system
Dial 27402504030@inria.webex.com
You can also dial 62.109.219.4 and enter your meeting number.

Join by phone
+33-1-8514-8835 France Toll 2

Access code: 274 025 04030

Instructions to join the meeting (old instructions?)

• Chair: Cyril (leading the meeting, to be decided at each meeting for the next one, should send the reminder / cancel if no topics)
• Secretary: ? (taking notes, can be decided at the beginning of the meeting)