Extract inductives #22
nix-action-default.yml
on: pull_request_target
Annotations
1 error
|
coq
Process completed with exit code 1.
|