Zulip Chat Archive
Stream: Natural sciences
Topics:
- LeanLJ (1 message, latest: Apr 28 2025 at 14:08)
- Deduction of physical principles? (20 messages, latest: Mar 14 2025 at 15:55)
- Dynamical Systems in Lean4 (14 messages, latest: Mar 13 2025 at 16:09)
- Electrical Engineering in Lean (5 messages, latest: Feb 15 2025 at 13:35)
- interesting talk on Dirac notation at POPL (3 messages, latest: Jan 21 2025 at 12:42)
- Lean interfaces to plotting libraries? (12 messages, latest: Dec 30 2024 at 22:45)
- wrong formalization of boyle's law in lean (107 messages, latest: Dec 30 2024 at 11:00)
- Meeting (virtual and informal) for Lean and science (36 messages, latest: Dec 09 2024 at 03:11)
- Special Relativity (4 messages, latest: Oct 13 2024 at 19:02)
- Physics in Lean (68 messages, latest: Sep 16 2024 at 19:28)
- defining the force applied to a mass pulling a string (50 messages, latest: Jul 29 2024 at 13:57)
- Lean for Scientists and Engineers (25 messages, latest: Jul 09 2024 at 16:51)
- mathematical tools for (axiomatic/algebraic) QFT (13 messages, latest: Jun 28 2024 at 16:12)
- Feynman diagrams (5 messages, latest: Jun 24 2024 at 11:24)
- channel events (1 message, latest: Jun 21 2024 at 01:35)
- Making this stream web-public (1 message, latest: Jun 20 2024 at 01:24)
- HepLean (7 messages, latest: May 16 2024 at 13:01)
- Anomaly cancellation conditions (12 messages, latest: Apr 23 2024 at 20:21)
- Quantum information theory (2 messages, latest: Mar 09 2024 at 14:40)
- GR, Yang-Mills, and manifolds (12 messages, latest: Feb 06 2024 at 21:42)
- Undergraduate Physics (10 messages, latest: Sep 26 2023 at 09:02)
- physical units (25 messages, latest: Sep 26 2023 at 07:16)
- Hamiltonian Mechanics (10 messages, latest: Sep 22 2023 at 13:30)
- Bernoulli's Principle (16 messages, latest: Jul 18 2023 at 02:24)
- [FOM] Mathematizing Carnot's arguments (2 messages, latest: Jul 12 2023 at 14:10)
- should scilib and mathlib be separate libraries? (35 messages, latest: Jul 08 2023 at 13:51)
- stream events (4 messages, latest: Jul 08 2023 at 12:51)
Last updated: May 02 2025 at 03:31 UTC