Fix realizability and Lemmas #427
HuStmpHrrrci_build.yaml
on: pull_request
Completeness of _CoqProject
4s
Continuous Intergration
6m 26s
Annotations
1 error and 1 warning
|
Continuous Intergration
The variable b was not found in the current environment.
|
|
Continuous Intergration
The Focus command is deprecated; use '3: {' instead.
|