Skip to content
CI (Coq, docker, dev)

Adapt to coq/coq#18273 (Ltac2 supports head reduction) #41

Sign in to view logs

Adapt to coq/coq#18273 (Ltac2 supports head reduction)

Adapt to coq/coq#18273 (Ltac2 supports head reduction) #41

Annotations

1 error

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