Zulip Chat Archive
Stream: Lean for Scientists and Engineers 2024
Topics:
- Lecture recordings (32 messages, latest: Jan 06 2025 at 04:14)
- Model checking (3 messages, latest: Nov 17 2024 at 06:27)
- Lean files for class (35 messages, latest: Oct 19 2024 at 19:13)
- Something similar to sorry but for IO (3 messages, latest: Aug 20 2024 at 17:42)
- Lecture slides (11 messages, latest: Aug 20 2024 at 16:27)
- Project ideas (28 messages, latest: Aug 19 2024 at 02:07)
- Links to papers for "Functional but in-place" (1 message, latest: Aug 14 2024 at 13:51)
- Proof about Programs (1 message, latest: Aug 07 2024 at 03:04)
- ✔ Password (4 messages, latest: Aug 06 2024 at 17:03)
- Dims and Units for Physics (23 messages, latest: Jul 29 2024 at 13:45)
- Junk values in differentiation (3 messages, latest: Jul 28 2024 at 14:23)
- I found another way of proving zero_force_zero_acceleration (12 messages, latest: Jul 22 2024 at 02:15)
- Class survey (1 message, latest: Jul 16 2024 at 05:42)
- Mop 1.4.7. (3 messages, latest: Jul 14 2024 at 05:04)
- Differences in setup of conclusion, AI vs human (1 message, latest: Jul 13 2024 at 15:23)
- Using LLMs to assist when needed (19 messages, latest: Jul 13 2024 at 12:07)
- Lecture 2 - Timestamp 13:48 - URL: https://0.300000000000000 (1 message, latest: Jul 12 2024 at 11:50)
- Example 1.4.3 from MoP (4 messages, latest: Jul 11 2024 at 10:50)
- ✔ Using a hypothesis as a tactic (4 messages, latest: Jul 11 2024 at 05:42)
- ✔ Link to today's lecture (4 messages, latest: Jul 11 2024 at 05:41)
- Installation help (33 messages, latest: Jul 10 2024 at 19:34)
- MoP 1.2.4 (4 messages, latest: Jul 10 2024 at 19:02)
- theorem Boyle in Lecture1.lean isn't boyle's law (22 messages, latest: Jul 10 2024 at 13:41)
- channel events (2 messages, latest: Jul 10 2024 at 00:30)
- Where do we go to attend online? (3 messages, latest: Jul 09 2024 at 13:20)
- Will recording be available for online attendance people? (2 messages, latest: Jul 08 2024 at 21:25)
Last updated: Feb 28 2026 at 14:05 UTC