johelpadilla

johelpadilla/systemic-tau-formal

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

2 good first / help-wanted issues · Python · last activity Jul 23, 2026

0 stars 0 forks 0 watchers Python MIT License
complex-systems dynamical-systems early-warning-signals feigenbaum formal-verification lean4 python recd systemic-tau
View on GitHub Website
2 Open Issues Need Help Last updated: Jul 23, 2026

Open Issues Need Help

View All on GitHub
[good first issue] Plot first-return pairs in notebook 05 twin 3 months ago
good first issue improvement
johelpadilla/systemic-tau-formal
0

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 3 months ago
good first issue improvement open-goal
johelpadilla/systemic-tau-formal
0

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