2 search results for "tag:"category:Math/Arith/Real numbers""

Showing 1 - 2
  1. coq-hol-light

    No documentation

    HOL-Light library in Coq
    keyword:HOL-Light category:Math/Arith/Misc category:Math/Arith/Real Numbers category:Math/Real Numbers date:2024-12-17 logpath:HOLLight
    Frédéric Blanqui
    2.0.0
    CeCILL-2.1
    Used by 0 other packages
    17 Dec 2024
  2. coq-hol-light-real

    No documentation

    Definition of HOL-Light real numbers in Coq
    keyword:HOL-Light category:Math/Arith/Misc category:Math/Arith/Real numbers date:2024-11-03 logpath:HOLLight_Real
    Frédéric Blanqui
    1.0.0
    CeCILL-2.1
    Used by 1 other packages
    03 Nov 2024