Warren Harding builds custom symbolic mathematics systems, agentic software, and technical tools where math, AI, and software engineering meet.
Examples: GitHub.