You can clone this repository using the git command above (will create directory "2025-12-07T17:34:06Z_isabelle"), or download the compressed archive.