2 search results for "tag:"date""

Showing 1 - 2
  1. calendar
    Documentation
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 20 other packages
    12 Oct 2022
  2. coq-waterproof

    No documentation

    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Dec 2025