Lean Proofs

feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized) #15

Sign in to view logs

Triggered via pull request June 12, 2026 16:56

synchronize #43

claude/hopeful-fermi-iXnba

Status Success

Total duration 25s

Artifacts –

lean-proofs.yml

on: pull_request

Build Lean proofs (oracle)