It is a project funded by the "Ministry of Science, Innovation and Universities",
the "State Agency for Research" and the "European Regional Development Fund" (ERDF).
FV-Time manager
Fully UTC-compliant, including leap seconds.
Efficient and formally verified in Coq.