Skip to content

Infotheo 0.6.1
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 04 Feb 08:38
· 28 commits to master since this release
0.6.1
15762a0
This commit was created on github.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Compatibility with Coq 8.17-19, MathComp 1.16-19, MathComp-Analysis >= 0.6.6, Hierarchy-Builder >= 1.5.0

Assets 2
Loading