The FV Time Manager

Fully UTC-compliant, including leap seconds.

Efficient and formally verified in Coq.

The corresponding UTC date will be displayed here.
The corresponding UTC timestamp will be displayed here.