Li-Hongmin/jsp-lean: JSP-000625 Erdos-Fuchs Lean formalization
Year: 2026
Type: software
Abstract: Independent release marker for JSP-000625. See the corresponding Lean source and reader-facing note in this repository.
Author: HONGMIN LI
Institution: The University of Tokyo
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213516670