1 search result for "tag:"logpath:ReductionEffect""

Showing 1 - 1
  1. coq-reduction-effects

    No documentation

    A Coq plugin to add reduction side effects to some Coq reduction strategies
    logpath:ReductionEffect
    Hugo Herbelin
    0.1.6
    MPL-2.0
    Used by 0 other packages
    08 Sep 2025