Found a kickass math/programming bookshop (Ada's). This visual printing of famous math proofs is way cool.
https://oulipo.social/media/M6CRxqtvHflTvQfgMJY