Same player try again. #13
Annotations
1 warning
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
The logs for this run have expired and are no longer available.
Loading