Skip to content
ECHIDNA Validation

proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151) #257

Sign in to view logs

proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151)

proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151) #257

Triggered via pull request July 1, 2026 12:21
@hyperpolymathhyperpolymath
opened #152
claude/valence-shell-151-root-a2a1kv
Status Success
Total duration 1m 7s
Artifacts –

echidna-validation.yml

on: pull_request
ECHIDNA Proof Verification
0s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
1m 2s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in