Docker CI

fix #74

Sign in to view logs

Annotations

10 warnings

aks_algo.v#L178

Hiding binding of key N to nat_scope

Ignoring canonical projection to Monoid.isComLaw.opC by

Ignoring canonical projection to Monoid.isLaw.opA by

Ignoring canonical projection to Monoid.isLaw.opm1 by

Ignoring canonical projection to Monoid.isLaw.op1m by

Ignoring canonical projection to Monoid.isComLaw.opC by

Ignoring canonical projection to Monoid.isLaw.opA by

Ignoring canonical projection to Monoid.isLaw.opm1 by

Ignoring canonical projection to Monoid.isLaw.op1m by

tplayer.v#L2208

Ignoring canonical projection to Monoid.isComLaw.opC by

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