Agda

Deepen E5 ν-conditions and add Buchholz examples/smoke #42

Sign in to view logs

Triggered via push April 22, 2026 12:47

claude/e5-nu-conditions-and-smoke-t2H9q

Status Success

Total duration 2m 4s

Artifacts –

agda.yml

on: push