pandaman64/Isabelle-action
Isabelle image with prebuilt HOL
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| args | Isabelle arguments | yes | — |
| heapCacheDir | path to save to/load from Isabelle session heap | no | — |
Outputs
no outputs