Skip to content
agda-unimath CI

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y #8839

Sign in to view logs

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y

For x y : ℚ, x < y if and only if real-ℚ x < real-ℚ y #8839

Annotations

2 errors

typecheck (ubuntu-latest, 2.7.0)

typecheck (ubuntu-latest, 2.7.0)
cancelled Feb 8, 2025 in 9s