Skip to content
Agda

First-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb rung 6) #802

Sign in to view logs

First-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb rung 6)

First-argument monotonicity; Γ₀ ≤′ φ_Γ₀(0) (BH climb rung 6) #802

Triggered via pull request June 20, 2026 00:47
@hyperpolymathhyperpolymath
opened #247
claude/eager-heisenberg-r3gz3c
Status Success
Total duration 12m 12s
Artifacts –

agda.yml

on: pull_request
check
1m 55s
check
cold-check
12m 7s
cold-check
Fit to window
Zoom out
Zoom in