>>195
日本語で読めるから良さそうなんだけど
.vファイルを用意してくれてはいないみたいだから
書かれてる証明を自分で入力しないといけないんだよな
https://www.morikita.co.jp/books/book/3287

https://softwarefoundations.cis.upenn.edu/
http://adam.chlipala.net/cpdt/
無料で読めるこういうのだと英語で書かれてるけど
.vファイルも用意されてるから入力せずにすむ

こういうのでいいやと思ったからそれは買わなかった