jasongross/Setup Coq
Set up an OCaml and opam and Coq environment and add to PATH
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
- Runtime
- Deprecated runtime
Inputs
| name | description | required | default |
|---|---|---|---|
| ocaml-version | Version of the OCaml compiler to initialise | — | 4.09.0+flambda |
| coq-version | Version of the Coq compiler to initialise | — | latest |
Outputs
no outputs