Welcome to LeanMillenniumProblems Discussions! #1
Robertboy18
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hello everyone,
I would like to initiate a discussion on formalizing the Millennium Problems using Lean4. These problems represent some of the most significant unsolved questions in mathematics, and formalizing them could lead to exciting advancements in both mathematics and formal verification.
Please share your thoughts, approaches, and any resources that might help us in this endeavor.
Looking forward to your contributions!
Best regards,
Beta Was this translation helpful? Give feedback.
All reactions