Recent Releases of https://github.com/alexhkurz/mathematics-for-philosophers