The important changes are listed in this file (only since 2022-05).
2024-01 : checked that compilation works for Coq 8.19. 2023-12 : added a [.vscode] folder with settings for VSCode. 2023-09 : ensured compilation for Coq 8.18. 2023-07 : [math] now uses [lia] instead of [omega]. [math_lia] was removed. 2023-06 : added more lemmas in [LibMap]. 2022-05 : added scopes for hints throughout the library.