FV-Time manager
Fully UTC-compliant, including leap seconds.
Efficient and formally verified in Coq.
FV-Time manager
Fully UTC-compliant, including leap seconds.
Efficient and formally verified in Coq.