Comments on: Egyptian div and mul "work": a correctness proof for the arithmetic operations in FFA Chapter 5 http://thetarpit.org/2018/ffa-egypt-proof "Now I feel like I know less about what that blog is about than I did before." Sat, 25 Apr 2026 14:09:18 +0000 http://thetarpit.org hourly 1 By: spyked http://thetarpit.org/2018/ffa-egypt-proof#comment-1981 spyked Sun, 17 Apr 2022 20:37:58 +0000 http://wp.thetarpit.org/2018/ffa-egypt-proof#comment-1981 Updated with some formatting fixes and missing content near the end of the proof. The fact that nobody complained in the four years since this was published is also a sign of... I don't know, something or the other, in any case. Updated with some formatting fixes and missing content near the end of the proof.

The fact that nobody complained in the four years since this was published is also a sign of... I don't know, something or the other, in any case.

]]>