[tc] attribute parser for the creation of elpi predicates for tc #338
FissoreDnix-action-coq-master.yml
on: pull_request_target
Annotations
1 error
|
coq-elpi
Process completed with exit code 1.
|