Enriched and unified syntax for reduction strategies#85

Open

herbelin wants to merge 1 commit intocoq:masterfrom herbelin:unified-reduction-strategies

+83

Commits on May 15, 2024

CEP on unifying the syntax and expressiveness of reduction strategies.

herbelin
and
SkySkimmer
committed