2 search results for "tag:"logpath:HOLLight_Logic""

Showing 1 - 2
  1. rocq-hollight-logic

    No documentation

    HOL-Light library necessary for translating unify
    logpath:HOLLight_Logic date:2025-10-21 keyword:HOL-Light keyword:first order logic
    Antoine Gontard
    0.0.0
    CeCILL-2.1
    Used by 0 other packages
    25 Oct 2025
  2. rocq-hollight-logic-unif

    No documentation

    HOL-Light library necessary for translating unify
    logpath:HOLLight_Logic_fole date:2025-10-16 keyword:HOL-Light keyword:first order logic
    Antoine Gontard
    0.0.0
    CeCILL-2.1
    Used by 1 other packages
    22 Oct 2025