1 search result for "tag:"category:Math/Real Numbers""

Showing 1 - 1
  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