MathComp Analysis 0.5.0

affeldt-aist released this 23 Mar 05:14

· 1263 commits to master since this release

8bd7142

Compatible with Coq 8.13, 8.14, and 8.15, and MathComp 1.13 and 1.14.

See the changelog

Assets 2