MathComp Analysis 1.4.0

affeldt-aist released this 24 Sep 07:14

· 42 commits to master since this release

Compatible with Coq 8.19--8.20 and MathComp 2.1.0--2.2.0.

See the changelog

Assets 4