search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
265 stars 35 forks source link

Fix compiling pack of rules #1036

Closed gabrielhdt closed 5 months ago

gabrielhdt commented 5 months ago

Rules declared in group appeared to be reverted when handled, causing the "sequential" strategy to not behave as intended (the rule with highest priority was the last to appear in the source file). Fixes #1033

fblanqui commented 5 months ago

Thanks Gabriel!