#

systemic-tau

Here is 1 public repository matching this topic...

johelpadilla / systemic-tau-formal

Machine-verifiable Systemic Tau (τₛ) + RECD: Lean 4, Python reference, falsifiable predictions

python dynamical-systems complex-systems formal-verification early-warning-signals feigenbaum lean4 recd systemic-tau

Updated Jul 26, 2026
Lean

Improve this page

Add a description, image, and links to the systemic-tau topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the systemic-tau topic, visit your repo's landing page and select "manage topics."