grand theft eigenvalue 🔆

I'm gonna try to replace Mathematica in my theory workflows with SymPy+Lean. this is probably a dumb idea because I don't know either of those but I think I need a cadence of these kinds of projects