Skip to content
Lean Proofs

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Lean proofs (oracle)
24s
24s