Skip to content

Infotheo 0.9.4

Choose a tag to compare

View all tags
@affeldt-aist affeldt-aist released this 07 Jul 09:48
· 36 commits to master since this release
0.9.4
1d9dd1d

Compatible with Coq 8.19--8.20, MathComp 2.3.0--2.4.0, MathComp-Analysis >= 1.12.0, Hierarchy-Builder >= 1.9.1.

Assets 2
Loading