Skip to content

[Add] Properties of rounding in Rational - #2953

Open
aortega0703 wants to merge 34 commits into
agda:masterfrom
aortega0703:rounding-properties
Open

[Add] Properties of rounding in Rational#2953
aortega0703 wants to merge 34 commits into
agda:masterfrom
aortega0703:rounding-properties

Merge branch 'rounding-properties' of github.com:aortega0703/agda-std…

74b1dee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-whitespace
succeeded Aug 10, 2026 in 8s