The first initial formalization of the Millennium Problems in Lean4. The repository aims to provide a structured and formal approach to some of the most significant unsolved questions in mathematics by formalizing all the 7 Millennium problems in Lean4.
Key Features:
- Formal definitions and proofs using Lean4.
- Comprehensive documentation and examples, according to my understanding.