Skip to content

Infotheo 0.7.6

Choose a tag to compare

View all tags
@affeldt-aist affeldt-aist released this 19 Dec 10:28
· 178 commits to master since this release
0.7.6
6e4c10b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Compatible with Coq 8.19--8.20, MathComp >= 2.3.0, MathComp-Analysis >= 1.7.0, 1.5.0 <= Hierarchy-Builder < 1.8.0

Assets 2
Loading