ProofLang: The Language of arXiv Proofs. - Henry Hammer; Nanako Noda; Christopher A. Stone (CICM, 2023)