2 search results for "tag:"keyword:time""

Showing 1 - 2
  1. coq-formalv-time

    No documentation

    A Coq library for time and date arithmetic according to the UTC standard with leap seconds
    keyword:time keyword:date keyword:timestamp keyword:coq formalization logpath:formalv
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.2.0
    PolyForm Noncommercial License 1.0.0
    Used by 0 other packages
    24 Jul 2023
  2. coq-moment

    No documentation

    Parse, manipulate and pretty-print times and dates in Coq
    date:2020-03-16 keyword:date keyword:time logpath:Moment
    Guillaume Claret
    1.2.1
    MIT
    Used by 3 other packages
    31 Oct 2021