Do not require all_algebra #100
Annotations
4 warnings
|
Run coq-community/docker-coq-action@v1:
src/word_ssrZ.v#L25
Hiding binding of key N to nat_scope
|
|
Run coq-community/docker-coq-action@v1:
src/word_ssrZ.v#L25
Hiding binding of key Z to int_scope
|
|
Run coq-community/docker-coq-action@v1:
src/word.v#L25
Hiding binding of key N to nat_scope
|
|
Run coq-community/docker-coq-action@v1:
src/word.v#L25
Hiding binding of key Z to int_scope
|
Loading