package coq-formalv-time

  1. Overview
  2. No Docs
A Coq library for time and date arithmetic according to the UTC standard with leap seconds

Install

Dune Dependency

gitlab.com Edit opam file Versions (4)

Authors

  1. A
    Ana de Almeida Borges
  2. Q
    Quim Casals Buñuel
  3. J
    Juan Conejero Rodriguez
  4. M
    Mireia González Bedmar
  5. E
    Eduardo Hermo Reyes

Maintainers

  1. M
    Mireia González Bedmar <mireia.gbedmar@formalv.com>

Sources

formalv-1.2.0.tar.gz
sha256=7e01fa9f588e25d6b0ccaaeb4ba85439b3b7e16b9e16ab4c76be93d258e3de38

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

Tags

keyword:time keyword:date keyword:timestamp keyword:coq formalization logpath:formalv

Published: 24 Jul 2023

Dependencies (5)

  1. coq-formalv-check_range = version
  2. coq-formalv-prim63_mathcomp = version
  3. coq-mathcomp-ssreflect >= "1.13" & < "1.18~"
  4. coq-mathcomp-algebra >= "1.13" & < "1.18~"
  5. coq >= "8.14" & < "8.18~"

Dev Dependencies

None

Used by

None

Conflicts

None