1 search result for "tag:"date:2025-10-21""

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