Skip to content

Qround.v: Add more rounding functions - #291

Open
RyanGlScott wants to merge 8 commits into
rocq-prover:masterfrom
RyanGlScott:T283-more-rounding-functions
Open

Qround.v: Add more rounding functions#291
RyanGlScott wants to merge 8 commits into
rocq-prover:masterfrom
RyanGlScott:T283-more-rounding-functions

Regenerate theories/All.v

19b9c4d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Jul 15, 2026 in 1m 6s