Arndt, P., Blechschmidt, I., Cherubini, F., Coquand, T., Geerligs, F., Hutzler, M., Moeneclaey, H., Wärn, D., & Nieper-Wißkirchen, M. The Synthetic Algebraic Geometry Project [Computer software]