Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化という本のKindle版がなかったのでKinoppyで購入。Kinoppyは初めて使いました。PCでは字が小さくて読みにくいですがiPadの大きいのを持っているのでそっちではなんとか読めます。PC版はなんとかしてほしいです。
定理証明手習いという本もKindle版がなかったのでラムダノートのサイトから電子書籍を購入。これはPDFなので拡大すれば読めます。iPadでもなんとか読めます。
Kindle版があれば片手で持てるのでそっちの方が便利ですが、文字のサイズが固定されているものは読めないのでこれらの本に関しては同じかと思います。