1 search result for "tag:"category:Miscellaneous/Coq Extensions""

Showing 1 - 1
  1. orthologic-coq

    No 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