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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre-commit
40s
typecheck (macOS-13, 2.7.0)
2m 11s
typecheck (ubuntu-latest, 2.7.0)
2m 15s
link-check
1m 1s
6m 7s