Skip to content

Infotheo 0.7.1
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 23 May 02:09
· 16 commits to master since this release
0.7.1
2911b1f

Compatible with Coq 8.17-19, MathComp >= 2.2.0, MathComp-Analysis >= 1.0.0, Hierarchy-Builder >= 1.5.0

Assets 2
Loading