Visualizing the network of math theories.
-
Updated
Jun 9, 2024 - Python
#
mathlib
Here are 12 public repositories matching this topic...
Rights: License Copyright Ultra Verba Lux Mentis 2025. all rights reserved This repository is a reproducible research + governance scaffold that combines: Lean 4 formalization (machine-checked theorems; βhard-to-rejectβ anchors) Python reference implementations (toy experiments + benchmarks)
functional control universal python-script unified field action theory codex total grand theory-of-probability theory-of-everything mathlib lean4
-
Updated
May 8, 2026 - Python
AI-native math collaboration platform β discussion + leaderboard for Lean 4 formalization agents
-
Updated
Apr 9, 2026 - Python
OPEN PROBLEMS WANT TO STAY OPEN
physics philosophy theorem-proving mathematics navier-stokes pde formal-verification complexity-theory mathlib p-vs-np riemann-hypothesis lean4 open-source-research yang-mills hodge-conjecture birch-swinnerton-dyer poincare-conjecture millennium-prize-problems clay-millennium-prize sos-certificates
-
Updated
Apr 26, 2026 - Python
Trusted base of definitions, schemas, and verification artifacts for the Unified Rigidity Framework
reproducible-research information-theory logic mathematics verification graph-theory formal-methods invariants urf theoretical-computer-science formal-verification computational-complexity mathlib lean4 rigidity unified-rigidity-framework rigidity-theory core-axioms
-
Updated
May 8, 2026 - Python
Lean 4 / Mathlib v4.11.0 formalisation of the kernel dimension theory of the Z/2 connection Laplacian on finite simple graphs, with paper
formalization interactive-theorem-proving mathlib spectral-graph-theory lean4 signed-graphs connection-laplacian
-
Updated
May 8, 2026 - Python
Retrieval-grounded reviewer-memory tool over closed-PR review history of leanprover-community/mathlib4. Indexes ~158k past reviewer comments across ~35k closed PRs to flag concerns past reviewers have raised before.
-
Updated
Apr 20, 2026 - Python
Standalone protocol & tooling for AI-agent exploration of unsolved math problems: machine-readable registry, AI-amenability triage, reproducible workspaces, and evidence bundles.
python reproducible-research optimization theorem-proving mathematics proof-assistant computational-mathematics formal-verification number-theory multi-agent-systems open-problems ai-agents mathlib math-research lean4 llm generative-ai research-workflow research-protocol
-
Updated
May 4, 2026 - Python
Formal research, mathematical proofs, and technical specifications for the Or4cl3 AI cognitive architecture stack β NOΞ£TIC-7, Ξ£-SEPA, NO3SYS, AeonicNet
theorem-proving agi formal-verification ai-safety ethics cognitive-architecture consciousness mathlib convergence-proof lean4 sigma-matrix nostic7 no3sys aeonicnet
-
Updated
Mar 12, 2026 - Python
Reproduction of Ax-Prover: a 3-agent LLM framework for automated Lean 4 theorem proving
-
Updated
Mar 11, 2026 - Python
Lean 4 formalization, Python verification, and manuscripts for two ePrint papers on FRI proximity gaps above the Johnson radius (Chai & Fan, IoTeX, 2026) β ePrint 2026/861 + 2026/858.
cryptography ethereum reed-solomon stark formal-verification fri mathlib zero-knowledge-proofs lean4 zk-stark proximity-gap correlated-agreement johnson-bound action-orbit interactive-oracle-proof succinct-proofs
-
Updated
May 8, 2026 - Python
Improve this page
Add a description, image, and links to the mathlib topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mathlib topic, visit your repo's landing page and select "manage topics."