The aim of the organization is to foster projects that are related to or built on the Mathematical Components (MathComp) libraries.

This wiki aims at providing information about

• how to use the MathComp libraries,
• about the organization of the development, and
• for contributing to the MathComp project.

Feel free to contribute! If you experience problems with writing, please contact the admins.

• Homepage 🌏
• Documentation, Tutorials, teaching material 📚
• Installation using OPAM 📦
• MathComp on nix 📦
• Subscribe to the SSReflect mailing list (archives) 📫

• Main library:
  • SSReflect manual in HTML
    • original version: SSReflect manual Version 17 in pdf (a bit old but still mostly accurate and compact presentation)
  • Mathematical Components library graph
  • Mathematical Components library index
  • The discussions accompanying issues and pull requests are informative.
• Using the Search command to discover definitions and lemmas 🔍
• More libraries: see MathComp's organization on github or Rcoq community
• Applications: see the many papers
• For libraries predating MathComp 2 (2023): Porting Coq scripts to MathComp 2

• Guide to write code for MathComp (naming conventions, good practices, etc.)
• FAQ
• Guide to create and reviewing pull requests
  • When a pull request removes or renames existing definitions and theorems, you need to configure automatic checking so that depending developments are adapted to the change. This page describes how to use a different branch of depending developments in tests (automatic checking via CI).
• Guide to document MathComp scripts
• For release managers: howto release guide.

There are two regular meetings that are open to everybody:

1. the MathComp-dev meeting 🛠️

• This meeting takes place every 2 weeks, on Wednesday 10:00(am) (Paris Time, i.e., CEST = UTC+2 summer time or CET = UTC+1 o.w.).
• ✍️ You can put to the agenda any topic of interest.
• Next meetings: 2026-01-07, 2026-01-21, 2026-02-04, 2026-02-18, etc.

2. Mathcomp sharing days 🥳

• This meeting takes place the last Wednesday of every month.
• Next Sharing day: 2026-01-28.

Please update this page if you change the name of the meeting. You can use the invite -> copy information menu to get this data.

The meetings were online unless specified otherwise.

• 2026
  • January 7
• 2025
  • December 10
  • November 26
  • November 12
  • October 15
  • October 1st: no meeting (ITP)
  • September 17
  • September 03
  • August 20
  • July 23
  • July 9
  • June 11
  • May 28
  • May 14
  • April 30
  • April 16
  • April 2
  • March 19
  • February 19
  • February 5
  • January 22
• 2024
  • December 11
  • November 27
  • November 13
  • October 2
  • September 18
  • September 4
  • July 24
  • July 10
  • May 15
  • April 3
  • March 20
  • January 24
  • January 10
• 2023
  • November 22
  • November 8
  • October
  • October
  • September
  • September
  • July 12
  • June 14
  • May 31
  • May 17
  • May 3rd 2023--May 10th 2023 (MathComp documentation sprint)
  • April 19
  • April 5
  • March 22
  • March 8
  • February 22
  • February 8
  • January 11
• 2022
  • December 14
  • November 30
  • November 16
  • November 2
  • October 19
  • October 5
  • September 7
  • August 10
  • July 27
  • June 29
  • June 15
  • May 18
  • May 4
  • April 20
  • April 6
  • March 9
  • February 23
  • January 26
  • January 12
• 2021
  • December 1
  • November 3
  • October 20
  • October 6
  • September 22
  • August 25
  • July 7
  • June 16
  • June 2
  • May 19
  • May 5
  • April 21
  • April 7
  • March 24
  • March 10
  • February 24
  • February 10
  • January 13
• 2020
  • December 16
  • November 18
  • November 4
  • October 21
  • October 7
  • September 23
  • September 9
  • August 25
  • June 30
  • June 16
  • June 2
  • May 20
  • May 4
  • April 20
  • April 8
  • March 27
  • March 12
  • February 28
  • January 30
  • January 9
• 2019
  • December 11
  • November 28
  • November 14
  • October 31
  • October 16
  • July 1 (about doc)
  • May 22 (about doc)
  • May 21
  • April 23
  • March 22 (offline, Paris)
  • February 28 (offline, Sophia Antipolis)
• 2018
  • December 10
  • October 25
• 2017
  • November 21-22 Agenda, Minutes (offline, Sophia Antipolis)