Newclid: A User-Friendly Replacement for AlphaGeometry. - Vladmir Sicca; Tianxiang Xia; Mathïs Fédérico; Philip John Gorinski; Simon Frieder; Shangling Jui (CoRR, 2024)