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

Showing 1 - 2
  1. coq-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.8.1
    MIT
    Used by 13 other packages
    25 Jan 2025
  2. 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