Read news on Long division with our app.
Read more in the app
A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)
Long division verified via Hoare logic
