Skip to content
CI (Coq)

Proj.equal has been upstreamed, so use it directly (#114) #572

Sign in to view logs

Proj.equal has been upstreamed, so use it directly (#114)

Proj.equal has been upstreamed, so use it directly (#114) #572

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