Fix some minor (but subtle) errors

There were some errors in the proofs, in some of the logic and also regarding some treatments of the corner cases of semiconvergents.
jk-jeon · Jul 6, 2024 · ea74f16 · ea74f16
1 parent 04bc662
commit ea74f16
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/other_files/Dragonbox.pdf b/other_files/Dragonbox.pdf