julian/Setup Lean
Set up the Lean theorem prover for use within GitHub Actions.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| default-toolchain | A specific toolchain to declare as elan's default toolchain | no | — |
Outputs
no outputs