Skip to content

Releases: math-comp/analysis

MathComp Analysis 1.7.0

22 Nov 09:09
@affeldt-aist affeldt-aist
1.7.0
ff1b91c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.7.0 Latest
Latest

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

The main changes are the creation of opam packages for real numbers.

See the changelog

Assets 4
Loading

MathComp Analysis 1.6.0

25 Oct 08:36
@affeldt-aist affeldt-aist
1.6.0
e1aaf10
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.6.0

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

See the changelog

Assets 4
Loading

MathComp Analysis 1.5.0

09 Oct 00:57
@affeldt-aist affeldt-aist
1.5.0
d64e9df
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.5.0

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

See the changelog

Assets 4
Loading

MathComp Analysis 1.4.0

24 Sep 07:14
@affeldt-aist affeldt-aist
1.4.0
051e90d
Compare
Choose a tag to compare
MathComp Analysis 1.4.0

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

See the changelog

Assets 4
Loading

MathComp Analysis 1.3.1

09 Aug 15:12
@affeldt-aist affeldt-aist
1.3.1
99c3a83
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.3.1

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

See the changelog

Assets 4
Loading

MathComp Analysis 1.3.0

06 Aug 14:27
@affeldt-aist affeldt-aist
1.3.0
a75fbfd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.3.0

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

See the changelog

Assets 4
Loading

MathComp Analysis 1.2.0

06 Jun 07:09
@affeldt-aist affeldt-aist
1.2.0
9c311a9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.2.0

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

See the changelog

Assets 4
Loading

MathComp Analysis 1.1.0

31 Mar 12:58
@affeldt-aist affeldt-aist
1.1.0
e879267
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.1.0

Compatible with Coq 8.16--8.19 and MathComp 2.0.0--2.2.0.

See the changelog

Assets 4
Loading

MathComp Analysis 1.0.0

26 Jan 14:56
@affeldt-aist affeldt-aist
1.0.0
b4f2663
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 1.0.0

Compatible with Coq 8.16--8.19 and MathComp 2.0.0--2.2.0.

See the changelog

Assets 2
Loading

MathComp Analysis 0.7.0

19 Jan 07:16
@affeldt-aist affeldt-aist
0.7.0
96531f7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 0.7.0

Compatible with Coq 8.15--8.19 and MathComp 1.17--1.19.

See the changelog

Assets 2
Loading