Zulip Chat Archive
Stream: Lean for Scientists and Engineers 2024
Topic: Class survey
Tyler Josephson ⚛️ (Jul 16 2024 at 05:42):
Use this link to share more about yourself and your goals and ideas for using Lean!
https://forms.gle/rs8QChj5aYBAZtji9
Last updated: May 02 2025 at 03:31 UTC