Agda

Add ψ/+ open-case inversion lemmas for Buchholz order #89

Sign in to view logs

Triggered via push April 22, 2026 22:48

wf-2-open-case-inversions

Status Success

Total duration 2m 11s

Artifacts –

agda.yml

on: push