-
Notifications
You must be signed in to change notification settings - Fork 129
Home
affeldt-aist edited this page Apr 1, 2026
·
297 revisions
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.
-
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
- 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:
- 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-15, 2026-04-29, 2026-05-13, etc.
- This meeting takes place the last Wednesday of every month.
- Next Sharing day: 2026-05-27 (tentative).
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.