ProofLang: The Language of arXiv Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Henry Hammer, Nanako Noda, Christopher A. Stone. ProofLang: The Language of arXiv Proofs. In Catherine Dubois, Manfred Kerber, editors, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Volume 14101 of Lecture Notes in Computer Science, pages 285-290, Springer, 2023. [doi]

This author has not been identified. Look up 'Henry Hammer' in GoogleThis author has not been identified. Look up 'Nanako Noda' in GoogleThis author has not been identified. Look up 'Christopher A. Stone' in Google

runs on WebDSL