2 search results for "tag:"extension""

Showing 1 - 2
  1. orthologic-coq
    Documentation
    A plugin to add orthologic-based tactics to Coq
    category:Miscellaneous/Coq Extensions keyword:orthologic logpath:OLCoq
    Simon Guilloud Clément Pit-Claudel
    0.9.1
    CC-BY-4.0
    Used by 0 other packages
    17 Apr 2025
  2. ppx_camlrack
    Documentation
    PPX for matching S-Expressions
    S-Expressions parsing matching ppx extension
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 0 other packages
    12 Feb 2022