close

DEV Community

# lean

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer
fc0web profile

Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer

#math #research #lean #algorithms
Comments
10 min read
Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes
fc0web profile

Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes

#math #research #lean #typescript
Comments
9 min read
Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)
fc0web profile

Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)

#math #research #lean #algorithms
Comments
7 min read
Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)
fc0web profile

Ricci-Flow Three-Category Classification of Unsolved Math Problems (with 10 -Scale Collatz Census)

#math #lean #research #typescript
Comments
7 min read
Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)
fc0web profile

Erdős-Straus Conjecture as an S-Category Problem (Ricci Flow + Fujimoto Infinity Algebra)

#math #lean #research #algorithms
Comments
7 min read
Grafeo – A fast, lean, embeddable graph database built in Rust
trendstackdev profile

Grafeo – A fast, lean, embeddable graph database built in Rust

#grafeo #fast #lean #embeddable
Comments
3 min read
Galois Correspondence In Lean
imstudyingmathnow profile

Galois Correspondence In Lean

#lean #lean4 #math #mathematics
Comments
2 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.