Skip to content
ECHIDNA Validation

fix(lean4): remove dead contradiction — greens the Lean 4 CI #263

Sign in to view logs

fix(lean4): remove dead contradiction — greens the Lean 4 CI

fix(lean4): remove dead contradiction — greens the Lean 4 CI #263

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

echidna-validation.yml

on: pull_request
ECHIDNA Proof Verification
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
30s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in