Agda

E5: make ν operational and add Buchholz example/smoke modules #43

Sign in to view logs

Triggered via pull request April 22, 2026 12:47

opened #6

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

Status Success

Total duration 1m 51s

Artifacts –

agda.yml

on: pull_request