Skip to content

Prove error bounds on formally-verified natural logarithm - #589

Open
duncancmt wants to merge 18 commits into
dcmt/ln-atarparafrom
dcmt/ln-bounds
Open

Prove error bounds on formally-verified natural logarithm#589
duncancmt wants to merge 18 commits into
dcmt/ln-atarparafrom
dcmt/ln-bounds

Ln: drop demonstrative Python checks; self-contain cert-literal gener…

10832ec
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar