Skip to content

MathComp Analysis 0.6.0
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 14 Dec 13:53
· 642 commits to master since this release
0.6.0
1e0a893

Compatible with Coq 8.14--8.16 and MathComp 1.13--1.15.

The main change is the split into two packages coq-mathcomp-classical and coq-mathcomp-analysis.

See the changelog

Assets 2
Loading