Agda

fix: right-recursive _⊕_ + Phase 1.3 right-monotonicity lemmas (issue… #265

Sign in to view logs

Triggered via push May 11, 2026 07:38

fix/right-recursive-oplus

Status Success

Total duration 4m 2s

Artifacts –

agda.yml

on: push