Zulip Chat Archive
Stream: PhysLean
Topics:
- Bumps of PhysLean. (55 messages, latest: Dec 17 2025 at 15:00)
- Normed dual of Schwarz space (110 messages, latest: Dec 16 2025 at 05:12)
- The PhysLean café (43 messages, latest: Dec 12 2025 at 16:00)
- Cateloguing different types of lemmas with attributes (1 message, latest: Dec 12 2025 at 13:54)
- New members (17 messages, latest: Dec 11 2025 at 09:20)
- Help with a <30 min task involving pendulums (55 messages, latest: Dec 09 2025 at 15:58)
- Aristotle on PhysLean (10 messages, latest: Dec 09 2025 at 05:52)
- The Github organization (5 messages, latest: Dec 02 2025 at 19:24)
- Thermodynamics (5 messages, latest: Dec 02 2025 at 14:34)
- Linting PhysLean (8 messages, latest: Nov 28 2025 at 05:47)
- Space, Time and SpaceTime API (26 messages, latest: Nov 26 2025 at 13:27)
- BV formalism anyone? (2 messages, latest: Nov 24 2025 at 07:14)
- API around
Space (d1 + d2)toSpace d1 x Space d2(16 messages, latest: Nov 17 2025 at 13:03) - Cosmology Project and dependencies (35 messages, latest: Nov 17 2025 at 13:01)
- PhysLib (10 messages, latest: Nov 04 2025 at 16:31)
- Formalizing Landau and Lifshitz (15 messages, latest: Nov 03 2025 at 16:20)
- Priority documentation tracker (8 messages, latest: Nov 01 2025 at 06:35)
- Vector calculus (143 messages, latest: Oct 31 2025 at 10:39)
- physical units (205 messages, latest: Oct 30 2025 at 20:17)
- Derivation of the Fine Structure Constant from First Princip (9 messages, latest: Oct 29 2025 at 18:40)
- Spelling in PhysLean (7 messages, latest: Oct 24 2025 at 05:57)
- Classical Harmonic Oscillator (16 messages, latest: Oct 23 2025 at 06:40)
- Unbounded operators (12 messages, latest: Oct 20 2025 at 09:51)
- Recent commits to PhysLean (1 message, latest: Oct 17 2025 at 18:40)
- Neutrino Oscillations (12 messages, latest: Oct 17 2025 at 09:27)
- Classical Mechanics Rigid Body Informal Lemmas (3 messages, latest: Oct 14 2025 at 09:29)
- Seeking formal verification directions in quantum informatio (2 messages, latest: Oct 10 2025 at 22:35)
- Viewing PhysLean through html (6 messages, latest: Oct 07 2025 at 06:38)
- Quantum computing (8 messages, latest: Sep 29 2025 at 14:43)
- PhsyLean suitable for a mathematics undergrad student (10 messages, latest: Sep 29 2025 at 14:37)
- moved PhysLean from "topics" channel folder to "projects" (1 message, latest: Sep 25 2025 at 00:15)
- RSS feed for PhysLean commits (5 messages, latest: Sep 23 2025 at 19:56)
- Classical Mechanics of a pendulum (4 messages, latest: Sep 22 2025 at 20:00)
- autocomplete results blends in with the background in light (4 messages, latest: Sep 21 2025 at 07:41)
- Documentation discussion (18 messages, latest: Sep 15 2025 at 05:43)
- QM reflectionless potential (214 messages, latest: Sep 14 2025 at 19:17)
- project depending on PhysLean (12 messages, latest: Sep 13 2025 at 08:33)
- Computing derivatives examples (16 messages, latest: Sep 11 2025 at 15:59)
- Moments of inertia tensor (4 messages, latest: Sep 11 2025 at 10:48)
- Social Media (16 messages, latest: Sep 10 2025 at 11:02)
- Maxwell's Equations (119 messages, latest: Sep 10 2025 at 08:14)
- PhysLean's APIs (1 message, latest: Sep 02 2025 at 08:15)
- Visual representation of the content in PhysLean? (50 messages, latest: Aug 31 2025 at 16:37)
- Statistical Mechanics (6 messages, latest: Aug 27 2025 at 05:17)
- Elastic collisions in 1d (2 messages, latest: Aug 25 2025 at 05:54)
- Fourier Transform (35 messages, latest: Aug 22 2025 at 18:51)
- Collaborative Teams? (20 messages, latest: Aug 21 2025 at 04:07)
- Mini projects (44 messages, latest: Aug 20 2025 at 06:27)
- International Physics Olympiad (IPhO) (1 message, latest: Aug 04 2025 at 05:39)
- Good first steps into condensed matter physics? (30 messages, latest: Jul 31 2025 at 01:06)
- QM particle on a ring (11 messages, latest: Jul 22 2025 at 20:28)
- sorryful_lemma? (12 messages, latest: Jul 20 2025 at 11:04)
- Variational Calculus (292 messages, latest: Jul 16 2025 at 10:02)
- Turning kets to bras is surjective (26 messages, latest: Jul 09 2025 at 14:04)
- Tensors and index notation (1 message, latest: Jul 04 2025 at 10:40)
- Lorentz group (17 messages, latest: Jul 02 2025 at 18:12)
- Emergent Gravity Formalization in Lean 4 (11 messages, latest: Jun 27 2025 at 14:20)
- A 'WorldVolume' directory (6 messages, latest: Jun 24 2025 at 13:33)
- Computing
gradient(24 messages, latest: Jun 23 2025 at 13:42) - Interest in Optics (36 messages, latest: Jun 13 2025 at 11:30)
- curves and surfaces (differential geometry in R3) (8 messages, latest: Jun 04 2025 at 08:35)
- General questions (81 messages, latest: May 31 2025 at 16:34)
- Pull request checklists (10 messages, latest: May 12 2025 at 14:38)
- notion of direction and frame of reference (3 messages, latest: May 06 2025 at 05:41)
- Level of rigor in PhysLean (3 messages, latest: Apr 21 2025 at 09:35)
- The definition of a second. (7 messages, latest: Apr 17 2025 at 15:40)
- What would be useful for a beginners guide to PhysLean (21 messages, latest: Apr 10 2025 at 08:48)
- Scope of Electromagnetism (4 messages, latest: Apr 04 2025 at 13:59)
- Unbounded Operators & Adjoints (9 messages, latest: Mar 31 2025 at 15:45)
- Interest in Thermodynamics and Statistical Mechanics (4 messages, latest: Mar 21 2025 at 22:31)
- Help improving Pauli matrix relations (2 messages, latest: Mar 13 2025 at 16:32)
- Curated notes for Harmonic Oscillator (21 messages, latest: Mar 13 2025 at 09:03)
- Hydrogen atom (27 messages, latest: Feb 28 2025 at 15:23)
- channel events (6 messages, latest: Feb 27 2025 at 10:37)
- ✔ deduction of physical principles? (2 messages, latest: Jan 27 2025 at 23:23)
- Scope (18 messages, latest: Jan 23 2025 at 02:53)
Last updated: Dec 20 2025 at 21:32 UTC