Skip to content

Infotheo 0.7.3

Latest
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 24 Oct 06:50
· 2 commits to master since this release
58d8e62

Compatible with Coq 8.19--8.20, MathComp >= 2.2.0, MathComp-Analysis >= 1.5.0, Hierarchy-Builder >= 1.5.0