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

The present wiki is devoted to the tips and tricks that help installing and using the libraries: teaching material, comments from users, extended documentation... Feel free to contribute! If you experience problems with writing, please contact the admins.

• Homepage
• Tutorials, teaching material
• Installation using OPAM
• MathComp on nix
• Subscribe to the SSReflect mailing list

• Naming conventions and good practices: see the contribution guide
• FAQ
• Using the Search command
• Archives of the SSReflect mailing list

• Guide to write code for MathComp
• 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.

• Porting Coq scripts to MathComp 2
• Overview of the main library:
  • Mathematical Components library graph
  • Mathematical Components library index
  • SSReflect manual in HTML
    • SSReflect manual Version 17 in pdf
• See MathComp's organization on github for up-to-date information and more libraries.
  • The discussions accompanying issues and pull requests are informative.
• See the many papers for applications of the libraries.

• Please write any topic of interest at the bottom of the topics for the next meeting page.
• To join the meeting follow these instructions.
• Meetings take place every 2 weeks, on Wednesday 10AM (Paris Time, i.e. CEST = UTC+2 summer time or CET = UTC+1 otherwise).
• Next fortnightly meetings are: 2025-03-05, 2025-03-19, 2025-04-02, ...

The meetings were online unless specified otherwise.

• 2025
  • 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)