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: Feb 28 2026 at 14:05 UTC
New preprint on Lean for molecular simulations! Discussion here: #general > Preprint: LeanLJ @ 💬
Last updated: Feb 28 2026 at 14:05 UTC