Skip to content

Adapt to https://github.com/math-comp/math-comp/pull/1201 #92

Adapt to https://github.com/math-comp/math-comp/pull/1201

Adapt to https://github.com/math-comp/math-comp/pull/1201 #92

Annotations

1 error and 1 warning

coq-elpi

failed Apr 8, 2024 in 58s