1 search result for "tag:"keyword:coq formalization""

Showing 1 - 1
  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.time
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.3.1
    PolyForm Noncommercial License 1.0.0
    Used by 0 other packages
    13 May 2025