1 search result for "tag:"date:2025-02-19""

Showing 1 - 1
  1. coq-hol-light-real-with-N

    No documentation

    Definition of HOL-Light real numbers in Coq using N
    logpath:HOLLight_Real_With_N date:2025-02-19 category:Mathematics/Arithmetic and Number Theory/Miscellaneous category:Mathematics/Real Numbers keyword:HOL-Light
    Frédéric Blanqui
    1.2.0
    CeCILL-2.1
    Used by 1 other packages
    13 Mar 2025