Shingai Thornton · Binghamton University · 2026
A Lean 4 formalization (~4,700 lines, zero sorrys) of seven systems science traditions, discovering their shared categorical structure through machine verification.
Built with Claude Code: human editorial judgment, LLM Lean fluency, compiler final authority.