Zulip Chat Archive
Stream: Natural sciences
Topic: LeanLJ
Tyler Josephson ⚛️ (Apr 28 2025 at 14:08):
New preprint on Lean for molecular simulations! Discussion here: #general > Preprint: LeanLJ @ 💬
Last updated: Dec 20 2025 at 21:32 UTC
New preprint on Lean for molecular simulations! Discussion here: #general > Preprint: LeanLJ @ 💬
Last updated: Dec 20 2025 at 21:32 UTC