Adapt to rocq-prover/rocq#22166 (opaque_proofterm carries a usage bit) - #1292
Draft
JasonGross wants to merge 1 commit into
Draft
Adapt to rocq-prover/rocq#22166 (opaque_proofterm carries a usage bit)#1292JasonGross wants to merge 1 commit into
JasonGross wants to merge 1 commit into
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'.
|
background
wait
wait-all
cancel
parallel
Loading