Agda

proof(ordinal): general head-Ω monotonicity (Gate 1 building block) #672

Sign in to view logs

Triggered via pull request June 13, 2026 12:38

opened #198

claude/quirky-gauss-GaGZo

Status Success

Total duration 11m 47s

Artifacts –

agda.yml

on: pull_request