Agda

Strengthen E5 closure lemmas and add psi0(Omega1) witness path #45

Sign in to view logs

Triggered via push April 22, 2026 13:04

claude/e5-monotone-inversion-target-u9K8x

Status Success

Total duration 2m 2s

Artifacts –

agda.yml

on: push