Agda

E6/E7: add Buchholz well-formed targets and EchoOrdinal bridge #49

Sign in to view logs

Triggered via pull request April 22, 2026 13:12

opened #8

claude/e6-e7-wf-bridge-Gh4Qn

Status Success

Total duration 2h 34m 6s

Artifacts –

agda.yml

on: pull_request