agda-unimath CI

Do syntax for elim-exists chains, including application to strict real inequality #8873

Sign in to view logs

Triggered via pull request February 9, 2025 03:44

lowasser

synchronize #1306

lowasser:monad-existence

Status Success

Total duration 16m 9s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck