Adapt to rocq-prover/rocq#21477 (Print Assumptions takes list)
#540
Annotations
2 errors and 10 warnings
|
|
|
Docker-Coq-Action
The operation was canceled.
|
|
Docker-Coq-Action
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Docker-Coq-Action
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Docker-Coq-Action
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Docker-Coq-Action
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Docker-Coq-Action
Using "..." is deprecated, use "; auto." instead
|
|
Docker-Coq-Action
Using "..." is deprecated, use "; auto." instead
|
|
Docker-Coq-Action
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
Docker-Coq-Action
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
Docker-Coq-Action
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
Docker-Coq-Action
Use of "Notation" keyword for abbreviations is deprecated, use
|
Loading