Past releases of the Mathematical Components library

• Graph of the files of the Mathematical Components library and HTML rendering to be explored interactively online:
  • Version 2.1.0 (2023-10-24): library graph, coqdoc presentation
  • Version 2.0.0 (2023-05-10): library graph, coqdoc presentation
  • Version 1.19.0 (2024-01-15): library graph, coqdoc presentation
  • Version 1.18.0 (2023-11-01): library graph, coqdoc presentation
  • Version 1.17.0 (2023-05-09): library graph, coqdoc presentation
  • Version 1.16.0 (2023-02-01): library graph, coqdoc presentation
  • Version 2.0+alpha1 (2022-12-05): library graph, coqdoc presentation
  • Version 1.15.0 (2022-06-30): library graph, coqdoc presentation
  • Version 1.14.0 (2022-01-19): library graph, coqdoc presentation
  • Version 1.13.0 (2021-10-28): library graph, coqdoc presentation
  • Version 1.12.0 (2020-11-26): library graph, coqdoc presentation
  • Version 1.11.0 (2020-06-09): library graph, coqdoc presentation
  • Version 1.10.0 (2019-11-29): library graph, coqdoc presentation
• The past stable releases of the Mathematical Components library can be downloaded from github.
• Older versions of the Mathematical Components library are also available:
  • historical archives (2008-2014)
  • pre-github archive