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

Showing 1 - 2
  1. coq-hierarchy-builder-shim

    No documentation

    Shim package for HB
    logpath:HB
    Cyril Cohen Kazuhiko Sakaguchi Enrico Tassi
    1.6.0
    MIT
    Used by 0 other packages
    20 Sep 2023
  2. rocq-hierarchy-builder

    No documentation

    High level commands to declare and evolve a hierarchy based on packed classes
    logpath:HB
    Cyril Cohen Kazuhiko Sakaguchi Enrico Tassi
    1.9.1
    MIT
    Used by 2 other packages
    01 May 2025