Skip to content

Formally prove the correctness of Sqrt.sol and Cbrt.sol - #511

Open
duncancmt wants to merge 573 commits into
dcmt/cbrt512from
dcmt/codex-prove-sqrt-cbrt
Open

Formally prove the correctness of Sqrt.sol and Cbrt.sol#511
duncancmt wants to merge 573 commits into
dcmt/cbrt512from
dcmt/codex-prove-sqrt-cbrt

Update cbrt proof for adjusted seed constants

09a4311
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar