The proof of Hadwiger conjecture
Year: 2026
Type: preprint
Abstract: This is the final certificate that has been sorted out.And completed the formalization of lean.
Author: Zhao, Jiusi
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225574880