Skip to content

Only accept SELF on the left for left-associative levels - #21126

Merged
coqbot-app[bot] merged 8 commits into
rocq-prover:masterfrom
ia0:assoc
Nov 24, 2025
Merged

Only accept SELF on the left for left-associative levels#21126
coqbot-app[bot] merged 8 commits into
rocq-prover:masterfrom
ia0:assoc

Add overlays

7818c13
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.