Skip to content
agda-unimath CI

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p #8673

Sign in to view logs

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p #8673

Triggered via pull request February 5, 2025 01:23
@lowasserlowasser
synchronize #1269
lowasser:less-than-half-rat
Status Success
Total duration 3m 50s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
pre-commit
39s
pre-commit
link-check
1m 5s
link-check
Fit to window
Zoom out
Zoom in