Open Issues Need Help
View All on GitHub [good first issue] Plot first-return pairs in notebook 05 twin about 3 hours ago
good first issue improvement
Machine-verifiable Systemic Tau (τₛ) + RECD: Lean 4, Python reference, falsifiable predictions
Python
#complex-systems#dynamical-systems#early-warning-signals#feigenbaum#formal-verification#lean4#python#recd#systemic-tau
[good first issue] Add one more simple f(δ) candidate disequality about 3 hours ago
good first issue improvement open-goal
Machine-verifiable Systemic Tau (τₛ) + RECD: Lean 4, Python reference, falsifiable predictions
Python
#complex-systems#dynamical-systems#early-warning-signals#feigenbaum#formal-verification#lean4#python#recd#systemic-tau