Declare compatibility constant as canonical gref for primitive projections #160
Annotations
10 warnings
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Notation Zis_gcd_for_euclid is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zis_gcd_for_euclid is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zis_gcd_for_euclid is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
Notation Zis_gcd_for_euclid is deprecated since 8.17.
|
|
Run coq-community/docker-coq-action@v1
To avoid stack overflow, large numbers in nat are interpreted as
|
Loading