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
GitHub repository with 5 stars and 0 forks.
Language: Lean
Topics: complexity-theory, consciousness-and-neuroscience, coq, coq-formalization, formal-verification, fractal, lean4, mathematics, millennium-problems, ontology
2026-06-05: 5 stars and 0 forks.
The math library of Lean 4
GitHub repository with 3,391 stars and 1,376 forks.
Trending score: 1.04; stars gained: +11; forks gained: +8.
Language: Lean
Topics: lean4
ATLAS Autoformalized Textbook Library At Scale
GitHub repository with 215 stars and 22 forks.
Trending score: 1.00; stars gained: +10; forks gained: +1.
Language: Lean
Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.
GitHub repository with 33 stars and 1 forks.
Trending score: 0.90; stars gained: +7; forks gained: +0.
Language: Lean
A collection of formalized statements of conjectures in Lean.
GitHub repository with 1,001 stars and 302 forks.
Trending score: 0.88; stars gained: +4; forks gained: +1.
Language: Lean
Topics: formal-mathematics, lean4
コード例で学ぶ Lean 言語
GitHub repository with 168 stars and 14 forks.
Trending score: 0.32; stars gained: +0; forks gained: +0.
Language: Lean
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
GitHub repository with 156 stars and 15 forks.
Trending score: 0.29; stars gained: +1; forks gained: +0.
Language: Lean