Skip to content
ECHIDNA Validation

fix(lean4): remove dead contradiction in nonempty_path_ne_parent #262

Sign in to view logs

fix(lean4): remove dead contradiction in nonempty_path_ne_parent

fix(lean4): remove dead contradiction in nonempty_path_ne_parent #262

Triggered via push July 1, 2026 14:12
@hyperpolymathhyperpolymath
pushed 678f178
claude/valence-shell-151-root-a2a1kv
Status Success
Total duration 42s
Artifacts –

echidna-validation.yml

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