Skip to content

Infotheo 0.6.0
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 03 Dec 10:18
· 31 commits to master since this release
0.6.0
da50633

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

Assets 2
Loading