Skip to content
agda-unimath CI

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p (#1269) #8678

Sign in to view logs

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p (#1269)

For p : ℚ⁺, there is r : ℚ⁺ with r + r < p (#1269) #8678

typecheck (macOS-13, 2.7.0)

typecheck (macOS-13, 2.7.0)
succeeded Feb 5, 2025 in 1m 37s