erdos-problems

Here are 2 public repositories matching this topic...

CLI toolkit for Erdős problem research: literature ingestion, RAG search, and Lean 4 formalization

python cli theorem-proving mathematics combinatorics formal-verification number-theory rag lean4 research-tools llm erdos-problems

The official repository of the Nexus Resonance Codex (NRC) Protein Folding Enhancements.

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

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