thalens
.org
Start Here
Problems
Papers
Blog
Proofs
Graph
About
← All Papers
·
Core Theory
LatentFold — Business Plan & Product Strategy
Dr. Tamás Nagy
Draft
Core Theory
Lean-Verified
Mathematics verified.
Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.
View in Graph
BibTeX
Copy Link
Length
5,321 words
Status
Draft
Connects To
Latent Folding: Resolution of Levinthal's Paradox via Grade ...
Universal Foundations: A Verified Library of Core Mathematic...
Browse all Core Theory papers →