Skip to content

Releases: math-comp/analysis

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
Verified
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

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
Verified
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

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
Verified
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

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
Verified
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

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
Verified
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

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
Verified
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

Loading

MathComp Analysis 0.6.7

09 Jan 04:17
@affeldt-aist affeldt-aist
0.6.7
b0d400f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 0.6.7

Compatible with Coq 8.14--8.18 and MathComp 1.13--1.18.

See the changelog

Loading

MathComp Analysis 0.6.6

14 Nov 05:44
@affeldt-aist affeldt-aist
0.6.6
1d41dfe
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 0.6.6

Compatible with Coq 8.14--8.18 and MathComp 1.13--1.18.

See the changelog

Loading

MathComp Analysis 0.6.5

02 Oct 12:39
@affeldt-aist affeldt-aist
0.6.5
a5e2c65
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 0.6.5

Compatible with Coq 8.14--8.17 and MathComp 1.13--1.17.

See the changelog

Loading

MathComp Analysis 0.6.4

05 Aug 14:12
@affeldt-aist affeldt-aist
0.6.4
3a7cbff
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
MathComp Analysis 0.6.4

Compatible with Coq 8.14--8.17 and MathComp 1.13--1.17.

See the changelog

Loading