Agda

feat: echo-approx-compose-lipschitz — Rung D (Lipschitz composition) #813

Sign in to view logs

Triggered via pull request June 20, 2026 19:52

opened #252

claude/echo-approx-lipschitz

Status Success

Total duration 12m 0s

Artifacts –

agda.yml

on: pull_request