Page Index - math-comp/math-comp GitHub Wiki

322 page(s) in this GitHub Wiki:

• Home
• The MathComp github organization
• Getting started 🚀
• Using the libraries 🏛️
• Contributing 🧑‍🤝‍🧑
• Meetings 📆
• Notes for the MathComp dev meeting organizer
• Minutes of the regular MathComp-dev meeting 📝
• [obsolete] Nix Example: Instantenously work on a branch
• Please reload this page
• Agenda of the October 16th 2019 meeting 10h00 to 12h00
• Please reload this page
• Agenda of December 11th 2019 meeting 13:00 to 14:00
• Please reload this page
• Agenda of November 14 meeting 10:00 to 11:00
• Please reload this page
• Agenda of November 14th 2019 meeting 10:00 to 11:00
• Please reload this page
• Agenda of November 27th 2019 meeting 10:00 to 11:30
• Please reload this page
• Agenda of October 31st 2019 meeting 10:00 to 11:00
• Please reload this page
• Agenda of the April 23rd 2019 meeting 9h30 to 12h30
• Please reload this page
• Agenda of the December 10th 2018 meeting 9h30 to 12h30
• Please reload this page
• Agenda of the February 28th 2019 IRL meeting 9h30 to 17h
• Please reload this page
• Agenda of the January 9th 2020 meeting 10h00 to 10h30
• Please reload this page
• Agenda of the July 1st 2019 documentation meeting 9h30 to 12h30
• Please reload this page
• Agenda of the March 22nd 2019 IRL meeting 9h30 to 17h
• Please reload this page
• Agenda of the May 21st 2019 meeting 9h30 to 12h30
• Please reload this page
• Agenda of the May 22nd 2019 documentation meeting 9h30 to 12h30
• Please reload this page
• Agenda of the October 25th 2018 meeting, 14h to 18h
• Please reload this page
• Agenda of the October 26th 2023 docstring meeting
• Please reload this page
• Archives of minutes
• Please reload this page
• Checklist for creating and review PRs
• Please reload this page
• Creating and editing PRs efficiently
• Please reload this page
• FAQ
• Please reload this page
• Finmap coding sprint
• Please reload this page
• good practices
• Please reload this page
• HB porting
• Please reload this page
• HB porting week
• Please reload this page
• Help Visio Inria
• Please reload this page
• How to add overlays for PRs
• Please reload this page
• How to declare MathComp instances
• Please reload this page
• How to document
• Please reload this page
• Howto Release
• Please reload this page
• install opam
• Please reload this page
• MathcompSharingDays
• Please reload this page
• Minutes 2017 11 21 and 22
• Please reload this page
• Minutes 2024 03 20
• Please reload this page
• Minutes 2024 04 03
• Please reload this page
• Minutes 2024 05 15
• Please reload this page
• Minutes 2024 07 10
• Please reload this page
• Minutes 2024 07 24
• Please reload this page
• Minutes 2024 09 04
• Please reload this page
• Minutes 2024 09 18
• Please reload this page
• Minutes 2024 10 02
• Please reload this page
• Minutes 2024 11 13
• Please reload this page
• Minutes 2024 11 27
• Please reload this page
• Minutes 2024 12 11
• Please reload this page
• Minutes 2025 01 22
• Please reload this page
• Minutes 2025 02 05
• Please reload this page
• Minutes 2025 02 19
• Please reload this page
• Minutes 2025 03 19
• Please reload this page
• Minutes 2025 04 02
• Please reload this page
• Minutes 2025 04 16
• Please reload this page
• Minutes 2025 04 30
• Please reload this page
• Minutes 2025 05 14
• Please reload this page
• Minutes 2025 05 28
• Please reload this page
• Minutes 2025 06 11
• Please reload this page
• Minutes 2025 07 09
• Please reload this page
• Minutes 2025 07 23
• Please reload this page
• Minutes 2025 08 20
• Please reload this page
• Minutes 2025 09 03
• Please reload this page
• Minutes 2025 09 17
• Please reload this page
• Minutes 2025 10 15
• Please reload this page
• Minutes 2025 11 12
• Please reload this page
• Minutes 2025 11 26
• Please reload this page
• Minutes 2025 12 10
• Please reload this page
• Minutes 2026 01 07
• Please reload this page
• Minutes 2026 01 21
• Please reload this page
• Minutes 2026‐03‐18
• Please reload this page
• Minutes 2026‐04‐01
• Please reload this page
• Minutes 2026‐04‐15
• Please reload this page
• Minutes 2026‐04‐29
• Please reload this page
• Minutes 2026‐05‐13
• Please reload this page
• Minutes 2026‐05‐27
• Please reload this page
• Minutes 2026‐06‐10
• Please reload this page
• Minutes April 05 2023
• Please reload this page
• Minutes April 06 2022
• Please reload this page
• Minutes April 19 2023
• Please reload this page
• Minutes April 20 2020
• Please reload this page
• Minutes April 20 2022
• Please reload this page
• Minutes April 21 2021
• Please reload this page
• Minutes April 7 2021
• Please reload this page
• Minutes April 8 2020
• Please reload this page
• MInutes August 10 2022
• Please reload this page
• Minutes August 25 2020
• Please reload this page
• Minutes August 25 2021
• Please reload this page
• Minutes December 1 2021
• Please reload this page
• Minutes December 14 2022
• Please reload this page
• Minutes December 16 2020
• Please reload this page
• Minutes February 10 2021
• Please reload this page
• Minutes February 20 2020
• Please reload this page
• Minutes February 22 2023
• Please reload this page
• Minutes February 23 2022
• Please reload this page
• Minutes February 24 2021
• Please reload this page
• Minutes February 8 2023
• Please reload this page
• Minutes January 10 2024
• Please reload this page
• Minutes January 11 2023
• Please reload this page
• Minutes January 12 2022
• Please reload this page
• Minutes January 13 2021
• Please reload this page
• Minutes January 24 2024
• Please reload this page
• Minutes January 26 2022
• Please reload this page
• Minutes January 30 2020
• Please reload this page
• Minutes July 12 2023
• Please reload this page
• Minutes July 27 2022
• Please reload this page
• Minutes July 7 2021
• Please reload this page
• Minutes June 02 2020
• Please reload this page
• Minutes June 14 2023
• Please reload this page
• Minutes June 15 2022
• Please reload this page
• Minutes June 16 2020
• Please reload this page
• Minutes June 16 2021
• Please reload this page
• Minutes June 2 2021
• Please reload this page
• Minutes June 29 2022
• Please reload this page
• Minutes June 30 2020
• Please reload this page
• Minutes March 08 2023
• Please reload this page
• Minutes March 09 2022
• Please reload this page
• Minutes March 10 2021
• Please reload this page
• Minutes March 12
• Please reload this page
• Minutes March 22 2023
• Please reload this page
• Minutes March 24 2021
• Please reload this page
• Minutes March 27 2020
• Please reload this page
• Minutes May 05 2021
• Please reload this page
• Minutes May 05 2022
• Please reload this page
• Minutes May 17 2023
• Please reload this page
• Minutes May 18 2022
• Please reload this page
• Minutes May 19 2021
• Please reload this page
• Minutes May 20 2020
• Please reload this page
• Minutes May 31 2023
• Please reload this page
• Minutes May 4 2020
• Please reload this page
• Minutes November 08 2023
• Please reload this page
• Minutes November 16 2022
• Please reload this page
• Minutes November 18 2020
• Please reload this page
• Minutes November 2 2022
• Please reload this page
• Minutes November 22 2023
• Please reload this page
• Minutes November 30 2022
• Please reload this page
• Minutes November 4 2020
• Please reload this page
• Minutes Novembre 03 2021
• Please reload this page
• Minutes October 04 2023
• Please reload this page
• Minutes October 06 2021
• Please reload this page
• Minutes October 10 18
• Please reload this page
• Minutes October 19 2022
• Please reload this page
• Minutes October 20 2021
• Please reload this page
• Minutes October 21 2020
• Please reload this page
• Minutes October 5 2022
• Please reload this page
• Minutes October 7 2020
• Please reload this page
• Minutes September 06 2023
• Please reload this page
• Minutes September 09 2020
• Please reload this page
• Minutes September 20 2023
• Please reload this page
• Minutes September 22 2021
• Please reload this page
• Minutes September 23 2020
• Please reload this page
• Minutes September 7 2022
• Please reload this page
• Minutes‐2025‐07‐23
• Please reload this page
• November 2017
• Please reload this page
• Publications
• Please reload this page
• Rocq'n'share mathcomp topics
• Please reload this page
• Search
• Please reload this page
• Setting up nix and git for mathcomp on HB
• Please reload this page
• TopicsNextMeeting
• Please reload this page
• tutorial itp2016
• Please reload this page
• tutorials
• Please reload this page
• Using nix
• Please reload this page