Skip to content
Nix CI for bundle master

Import ZArith to use it in Rstruct.v #3415

Sign in to view logs

Import ZArith to use it in Rstruct.v

Import ZArith to use it in Rstruct.v #3415

Annotations

1 error and 1 warning

coq

coq
failed Jan 8, 2025 in 1m 0s