Agda

E3 CNF trichotomy + E4 pedagogical psi least-gap #37

Sign in to view logs

Triggered via pull request April 22, 2026 12:35

opened #4

claude/e3-cnf-trichotomy-fAySX

Status Success

Total duration 1m 57s

Artifacts –

agda.yml

on: pull_request