GitHub repository: noahgaertner/infdesc
Description: An Infinite Descent into Pure Mathematics