134.

Типизированная математика by suhr

suhr.github.io/tmath
about-math,is-book,to-read