Skip to content

Infotheo 0.9.0
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 18 Feb 01:32
· 5 commits to master since this release
0.9.0
8ac29a2

Compatible with Coq 8.19--8.20, MathComp >= 2.3.0, MathComp-Analysis >= 1.7.0, Hierarchy-Builder >= 1.5.0.
This release is relying on the Coq standard library only through an isolated use of the interval tactic.

Assets 2
Loading