Ten Advances in Mathematics and Theoretical Computer Science
github.com