Zulip Chat Archive

Stream: Natural sciences

GR, Yang-Mills, and manifolds (2 messages, latest: Dec 08 2023 at 09:29)
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)
wrong formalization of boyle's law in lean (79 messages, latest: Jul 15 2023 at 21:03)
[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: Dec 20 2023 at 11:08 UTC