Skip to content
Back to pull request #122

Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level #52

Sign in to view logs

Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level

Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level #52

Annotations

10 warnings

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