Skip to content
Hypatia Security Scan

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

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 #109

Triggered via pull request June 26, 2026 14:53
@hyperpolymathhyperpolymath
synchronize #33
claude/iseriser-proofs-review-rtdcwb
Status Failure
Total duration 45s
Artifacts –

hypatia-scan.yml

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

Annotations

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