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: May 02 2025 at 03:31 UTC
New preprint on Lean for molecular simulations! Discussion here: #general > Preprint: LeanLJ @ 💬
Last updated: May 02 2025 at 03:31 UTC