Ltac2 Quotation tutorial #123
Merged
Annotations
6 warnings
|
Post Run actions/checkout@v4
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
Run coq-community/docker-coq-action@v1
This expression should have type unit but has type
|
|
Run coq-community/docker-coq-action@v1
Unused variable: x.
|
|
Run coq-community/docker-coq-action@v1
Unused variable: tac.
|
|
Run coq-community/docker-coq-action@v1
Unused variable: bad_tac.
|
|
Run coq-community/docker-coq-action@v1
Unused variable: x.
|
Loading