Skip to content
Nix CI for bundle 8.19

Import ZArith to use it in Rstruct.v #1182

Sign in to view logs

Import ZArith to use it in Rstruct.v

Import ZArith to use it in Rstruct.v #1182

Annotations

1 warning

mathcomp

mathcomp
succeeded Jan 8, 2025 in 44s