1 search result for "tag:"logpath:HOLLight_Logic_fole""

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