coq: export opaque definition as opaque definition instead of as Lemma #2169
fblanquimain.yml
on: pull_request
build_vscode_extension
19s
Matrix: build_lambdapi
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
assets-for-download
Expired
|
2.54 MB |
|