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).

The FV Time Manager

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