← All Papers · Formal Verification

Hierarchical Feedback Percolation: When Structure Amplifies Dynamics

Dr. Tamás Nagy Draft Formal Verification 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
Length
11,567 words
Claims
2 theorems
Status
draft
Target
Probability Surveys / Annals of Applied Probability

Connects To

Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →