Agda

E5: add index monotonicity/inversion and psi0(Omega1) path #46

Sign in to view logs

Triggered via pull request April 22, 2026 13:04

opened #7

claude/e5-monotone-inversion-target-u9K8x

Status Success

Total duration 2m 14s

Artifacts –

agda.yml

on: pull_request