You can clone this repository using the git command above (will create directory "2025-10-12T00:31:50Z_arbitrary-precision-mathlib"), or download the compressed archive.