Home - math-comp/math-comp GitHub Wiki

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.

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.

Getting Started

Tips

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

Contributing

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.

Using the Libraries

:new: Porting Coq scripts to MathComp 2
Overview of the main library:
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.

Meetings

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, GMT+2).
Next fortnightly meetings are: 2024-05-15, 2024-05-29, 2024-06-12, etc.

Previous Meetings (minutes)

The meetings were online unless specified otherwise.

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