>>232
本ではないが、
https://infologicmation.はてなblog.com/entry/2018/10/06/085201
例えばこのサイトのZornの補題の証明なんて鼻くそほじりながらでも行間ゼロで理解できるだろ
普通の教科書で勉強するとなると一々紙とペンで格闘しなきゃいけなくなるのが無駄

こういう風にプログラムのソースコードっぽく書いてもらえると読みやすい
何ていうんかな、「説明する｣のではなく｢手続きを見せる｣っていう感じ