#

millennium-problems

Here are 4 public repositories matching this topic...

lean-dojo / LeanMillenniumPrizeProblems

Formalization of the Millennium Problems in Lean4.

mathematics formalization millennium-problems lean4

Updated Mar 25, 2025
C

MichaelWehar / P-vs-NP-Community

This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.

polynomial-time computational-complexity non-determinism complexity-theory millennium-problems p-vs-np unsolved-problems

Updated Oct 24, 2022

SystymaticDev / P_does_not_equal_NP

P != NP

computer-science machine-learning-algorithms mathematics artificial-intelligence theoretical-computer-science computational-complexity diagonalization millennium-problems p-vs-np p-vs-np-problems

Updated Apr 28, 2025
Python

sp1r0s / polynomial-n-queens-solution

My solution to the N-Queens problem

polynomials nqueens-problem chessboard millennium-problems

Updated Oct 8, 2017
Java

Improve this page

Add a description, image, and links to the millennium-problems topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the millennium-problems topic, visit your repo's landing page and select "manage topics."