romainpeter/Proof Engine for Code — Lite
Minimal obligations + proof journal for code changes (open-core)
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| path | Path to the code to analyze | no | . |
Outputs
no outputs