MathComp Analysis 0.5.1

affeldt-aist released this 04 Jun 00:59

· 1209 commits to master since this release

89d4c09

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

See the changelog

Assets 2