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.5
    MPL-2.0
    Used by 0 other packages
    28 Sep 2023