Skip to content
agda-unimath CI

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

Sign in to view logs

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

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

Triggered via pull request February 4, 2025 22:58
@lowasserlowasser
opened #1269
lowasser:less-than-half-rat
Status Success
Total duration 3m 32s
Artifacts –

ci.yaml

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