Home

Guides

• FAQ

• Documentation (link inside the README)

  • What's where?

• How to contribute

• How to document

• How to release

• How to bump

Meetings

Next meeting

Date: TBD between 2024-04-08 and 2024-05-03 at 14:00-15:00 (Paris Time)

• poll: https://framadate.org/Txg3zD1VMOAczrdG
• video: https://jitsi.riot.im/mathcomp_analysis

Topics for the next meeting (please edit)

• Check TODOs from the last meeting (https://github.com/math-comp/analysis/wiki/2024-02-09-Meeting)

Long-standing issues

• Documentation:
  • how to prove that something is a nbhs?
    • NB: already partially addressed in FAQ
    • impacted by the port to Hierarchy-builder #915
• Simplification of the filter layer
  • see #300 and #282
  • impacted by the port to Hierarchy-builder #915
• Issue related to Landau:
  • typechecking in Landau notations using derive.v

Summary of the last meetings

• 2024-02-09 Meeting
• 2023-12-21 Meeting
• 2023-10-16 Meeting
• 2023-07-27 Meeting
• 2023-06-21 Meeting
• 2023-04-20 Meeting
• 2023-02-06 Meeting
• 2022-11-22 Meeting
• 2022-09-22 Meeting
• 2022-07-27 Meeting
• 2022-04-12 Meeting
• 2022-02-24 Meeting
• 2022-01-20 Meeting
• 2021-12-16 Meeting
• 2021-09-28 Meeting
• 2021-07-22 Meeting
• 2021-06-22 Meeting
• 2021-05-27 Meeting
• 2021-03-26 Meeting
• 2021-01-26 Meeting
• 2020-12-17 Meeting
• 2020-11-05 Meeting
• 2020-09-28 Meeting
• 2020-09-04 Meeting
• 2020-07-24 Meeting
• 2020-06-17 Meeting
• 2020-05-25 Meeting
• 2020-05-07 Meeting
• [2019-12-16]
• [2019-09-26]
• [2019-07-18]
• [2019-06-28]
• [2019-06-27]
• [2019-06-07]
• [2019-05-27]
• [2019-05-14]
• [2019-05-09]
• 2019-03-26 Meeting
• [2019-02-27] (minutes lost?)
• 2018-12-12 Meeting
• 2018-11-08 Meeting