Home
The MathComp github organization
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.
Getting started 🚀
- Homepage 🌏
- Documentation, Tutorials, teaching material 📚
- Installation using OPAM 📦
- MathComp on nix 📦
- Subscribe to the SSReflect mailing list (archives) 📫
Using the libraries 🏛️
- 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.
-
SSReflect manual in HTML
- Using the Search command to discover definitions and lemmas 🔍
- More libraries: see MathComp's organization on github or Rocq community
- Applications: see the many papers
- For libraries predating MathComp 2 (2023): Porting Coq scripts to MathComp 2
Contributing 🧑🤝🧑
- 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.
Meetings 📆
There are two regular meetings that are open to everybody:
- This meeting takes place every 2 weeks, on Wednesday 13:00, Paris Time
- i.e., CEST = UTC+2 summer time (from the last week of March until the last week of October)
- or CET = UTC+1 o.w.
- ✍️ You can put to the agenda any topic of interest.
- Next meetings: 2026-04-29, 2026-05-13, 2026-05-27, etc.
- This meeting takes place the last Wednesday of every month.
- Next Sharing day: 2026-04-27 (tentative).
Notes for the MathComp dev meeting organizer
Please update this page if you change the name of the meeting. You can use the invite -> copy information menu to get this data.
Minutes of the regular MathComp-dev meeting 📝
The meetings were online unless specified otherwise.