pinned
Running on Zero
Mu
🧬
Eigenverse LM — 552 Lean theorems, 0 sorry
computational complexity; NP problem solving
Live block data emissions from NP-hard computational work completed by our L1 blockchain, COINjecture. To participate in mining or learn more, visit COINjecture.com