Agda

Add inversion lemmas for top-marker + bridges #98

Sign in to view logs

Triggered via push April 22, 2026 23:30

wf1-topmarker-plus-inversions

Status Success

Total duration 2m 15s

Artifacts –

agda.yml

on: push