I'm sorry to leave a spurious issue on your repository but this is the only way I can find to contact you (no public email address).
You're the same Tomáš Brabec that wrote Speculatively Redundant Continued Logarithm Representation, right? I'm doing research into continued logarithms, and I'm writing to ask whether you still have some of the appendices/related material (proof of contractivity, etc) that are cited but whose links are dead and unarchived.
I'm sorry to leave a spurious issue on your repository but this is the only way I can find to contact you (no public email address).
You're the same Tomáš Brabec that wrote Speculatively Redundant Continued Logarithm Representation, right? I'm doing research into continued logarithms, and I'm writing to ask whether you still have some of the appendices/related material (proof of contractivity, etc) that are cited but whose links are dead and unarchived.