changelog for version 1.4.0 - Githubissues

math-comp / analysis

Mathematical Components compliant Analysis Library

Other

200 stars 44 forks source link

changelog for version 1.4.0 #1326

Closed affeldt-aist closed 1 week ago

affeldt-aist commented 1 week ago

Motivation for this change

Checklist

[ ] added corresponding entries in CHANGELOG_UNRELEASED.md

[ ] added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

Read this Checklist
Put a milestone if possible
Check labels