Skip to content
Hypatia Security Scan

ABI: make Idris2 proofs genuinely compile + add machine-checked theorems #119

Sign in to view logs

ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

ABI: make Idris2 proofs genuinely compile + add machine-checked theorems #119

Triggered via pull request June 26, 2026 14:41
@hyperpolymathhyperpolymath
opened #37
claude/iseriser-proofs-review-rtdcwb
Status Failure
Total duration 39s
Artifacts –

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
30s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error
scan / Hypatia Neurosymbolic Analysis
Process completed with exit code 1.