Search found 1 match
- Fri Jul 10, 2026 6:32 pm
- Forum: Theory
- Topic: Lean for Statistical Physics Checking
- Replies: 3
- Views: 88
Re: Lean for Statistical Physics Checking
How does Lean compare against computer algebra systems like Maxima and SymPy? Lean seems to intend to be more general and rigorous than computer algebra systems. I have no experience with Lean but quite a bit of experience with Maxima and SymPy. I've checked a lot of derivations for various fluid ...