Merge pull request #154 from SkySkimmer/no-opt-schemes #134
Annotations
3 warnings
|
Run coq-community/docker-coq-action@v1:
tests/Test.v#L727
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
Run coq-community/docker-coq-action@v1:
tests/Test.v#L719
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
Run coq-community/docker-coq-action@v1:
tests/Test.v#L343
Implicitly declaring hint databases is deprecated. Please explicitly
|
Loading