ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 proof #117
hyperpolymathhypatia-scan.yml
on: pull_request
scan
/
Hypatia Neurosymbolic Analysis
22s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
hypatia-scan-findings
|
1.64 KB |
sha256:4f7396111f55ed76544444dd98c57ae9786e5f8cffb56018f39f6cad13f466e6
|
|