4 search results for "author:"Dario Halilovic""

Showing 1 - 4
  1. ppx_rocq

    No documentation

    PPX syntax extensions for quoting Rocq terms in OCaml
    Dario Halilovic
    1.0.0
    LGPL-2.1-only
    Used by 1 other packages
    20 Oct 2026
  2. rocq-camltac

    No documentation

    OCaml as a Tactic Language for Rocq
    category:Miscellaneous/Rocq Extensions keyword:tactic keyword:ocaml keyword:ltac2 logpath:Camltac date:2026-10-26
    Dario Halilovic
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    28 Oct 2026
  3. rocq-mltac2

    No documentation

    Ltac2 APIs in OCaml
    Dario Halilovic Pierre-Marie Pédrot
    1.0.0
    LGPL-2.1-only
    Used by 1 other packages
    20 Oct 2026
  4. strict-order-solver

    No documentation

    Complete solver for strict orders (transitive+irreflexive relations) for Rocq
    Kacper Korban Dario Halilovic Marcin Wojnarowski
    1.0.0
    MIT
    Used by 0 other packages
    13 May 2026