agda-unimath CI

Negation reverses strict inequality on `ℝ` #8712

Sign in to view logs

Triggered via pull request February 5, 2025 21:55

EgbertRijke

synchronize #1276

lowasser:neg-real-strict-ineq

Status Success

Total duration 11m 32s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck