agda-unimath CI

Dedekind cuts are arithmetically located #9155

Sign in to view logs

Triggered via pull request February 19, 2025 02:51

lowasser

synchronize #1329

lowasser:located-implies-arithmetically-located

Status Success

Total duration 3m 11s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck