All Versions
2
Latest Version
Avg Release Cycle
-
Latest Release
2338 days ago
Changelog History
Changelog History
-
v0.1 Changes
December 02, 2017- First version.
-
v0.1.0.1 Changes
- 🛠Fix bugs in
Intervals.hsfound by formal verification with Coq.
- 🛠Fix bugs in