Projects in Awesome Lists tagged with millennium-problems
A curated list of projects in awesome lists tagged with millennium-problems .
https://github.com/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.
complexity-theory computational-complexity millennium-problems non-determinism p-vs-np polynomial-time unsolved-problems
Last synced: 19 Mar 2026
https://github.com/fractaldevteam/principia-fractalis
Principia Fractalis: Fractal Resonance Ontology. A 1000+ page work exploring how mathematics, consciousness, and physical reality connect through a unified structure. Formally triple-verified in Lean 4, Coq, and L4L
complexity-theory consciousness-and-neuroscience coq coq-formalization formal-verification fractal lean4 mathematics millennium-problems ontology proof-assistant spectral-theory theoretical-physics turing-machine
Last synced: 03 Mar 2026
