Agda

Add E6 well-formed witnesses and E7 echo-ordinal bridge (#8) #50

Sign in to view logs

Triggered via push April 22, 2026 13:12

main

Status Success

Total duration 2m 25s

Artifacts –

agda.yml

on: push