Adapt to https://github.com/rocq-prover/stdlib/pull/251 #1264
Annotations
10 warnings
|
Docker-Coq-Action
Closed notations (i.e. starting and ending with a terminal symbol)
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
|
Docker-Coq-Action
The 'rewrite' tactic has been renamed 'rw'.
|
Loading