Agda

Add E6 well-formed witnesses and E7 echo-ordinal bridge #48

Sign in to view logs

Triggered via push April 22, 2026 13:11

claude/e6-e7-wf-bridge-Gh4Qn

Status Success

Total duration 1m 58s

Artifacts –

agda.yml

on: push