package coq-formalv-time
A Coq library for time and date arithmetic according to the UTC standard with leap seconds
Install
Dune Dependency
Authors
Maintainers
Sources
formalv-1.4.0.tar.gz
sha512=10e582991ec1ba10f0d448500d6a87a6116a713ee74435ab80f8a61df5f0e4caa1f7d5e5239635e01c6204b3b75a6c2b3b9ae3c3f8925e0c7cf3f83e9dcfb506
Description
FV Time is a library for managing conversions between time formats (UTC and timestamps), as well as commonly used functions for time arithmetic. As a library for time conversions, its novelty is the implementation of leap seconds (which are part of the UTC standard but usually not implemented in commercial libraries).
Dependencies (5)
-
coq-formalv-check_range
= version -
coq-formalv-prim63_mathcomp
= version -
coq-mathcomp-algebra
(>= "2.3.0" & < "2.4~") -
coq-mathcomp-ssreflect
(>= "2.3.0" & < "2.4~") -
coq
(>= "8.19" & < "8.21~")
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page