Skip to content

Releases: affeldt-aist/infotheo

Infotheo 0.5.2

03 Jun 12:20
@affeldt-aist affeldt-aist
0.5.2
85fa3a8
Compare
Choose a tag to compare
Infotheo 0.5.2

Compatibility with Coq 8.17, MathComp 1.16-17, and MathComp-Analysis >= 0.5.4

Assets 2
Loading

Infotheo 0.5.1

25 Feb 09:22
@affeldt-aist affeldt-aist
0.5.1
b136d47
Compare
Choose a tag to compare
Infotheo 0.5.1

Compatibility with Coq 8.15-16, MathComp 1.14-16, and MathComp-Analysis >= 0.5.4

Assets 2
Loading

Infotheo 0.5.0

13 Dec 13:14
@affeldt-aist affeldt-aist
0.5.0
8a67187
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Infotheo 0.5.0

Compatibility with Coq 8.15-16, MathComp 1.14-15, and MathComp-Analysis >= 0.5.4

Assets 2
Loading

Infotheo 0.4.0

31 Oct 16:10
@affeldt-aist affeldt-aist
0.4.0
8231da9
Compare
Choose a tag to compare
Infotheo 0.4.0

Compatibility with Coq 8.15-16, MathComp 1.14-15, and MathComp-Analysis >= 0.5.4

Assets 2
Loading

Infotheo 0.3.8

24 Aug 06:34
@affeldt-aist affeldt-aist
0.3.8
760d713
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Infotheo 0.3.8

Compatibility with Coq 8.14-15, MathComp 1.13-15, and MathComp-Analysis >= 0.5.3

Assets 2
Loading

Infotheo 0.3.7

14 Apr 10:01
@affeldt-aist affeldt-aist
0.3.7
ae9c885
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Infotheo 0.3.7

Compatibility with Coq 8.14-15, MathComp 1.13-14, and MathComp-Analysis 0.4.0, 0.5.0

Assets 2
Loading

Infotheo 0.3.6

14 Feb 09:23
@affeldt-aist affeldt-aist
0.3.6
3eb1a83
Compare
Choose a tag to compare
Infotheo 0.3.6

Compatibility with Coq 8.13-15, MathComp 1.13-14, and MathComp-Analysis 0.3.11-13

Assets 2
Loading

Infotheo 0.3.5

03 Jan 06:11
@affeldt-aist affeldt-aist
0.3.5
9ae6fe7
Compare
Choose a tag to compare
Infotheo 0.3.5

Compatibility with Coq 8.13 and 8.14, MathComp 1.13, and MathComp-Analysis 0.3.11 and 0.3.12

Assets 2
Loading

Infotheo 0.3.4

20 Nov 01:12
@affeldt-aist affeldt-aist
0.3.4
6f50bc9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Infotheo 0.3.4

Compatibility with Coq 8.13 and 8.14, MathComp 1.13, and MathComp-Analysis 0.3.11

Assets 2
Loading

Infotheo 0.3.3

14 Jun 03:38
@affeldt-aist affeldt-aist
0.3.3
9c3e799
Compare
Choose a tag to compare
Infotheo 0.3.3

Compatibility with MathComp-Analysis 0.3.9 (and 0.3.6 and 0.3.7 but not 0.3.8)

Assets 2
Loading