Lean Proofs

feat(echo): echoEq — structured loss for equality (residue = operand … #17

Sign in to view logs

Triggered via push June 12, 2026 22:39

main

Status Success

Total duration 27s

Artifacts –

lean-proofs.yml

on: push

Build Lean proofs (oracle)