Zulip Chat Archive

Stream: PhysLean

Topics:

PhysLean moving again (3 messages, latest: Feb 28 2026 at 02:03)
PR reviews (13 messages, latest: Feb 27 2026 at 13:39)
Space vs EuclideanSpace (72 messages, latest: Feb 27 2026 at 07:00)
Triaging the building of APIs (1 message, latest: Feb 26 2026 at 08:26)
Multigoal linter (2 messages, latest: Feb 25 2026 at 15:48)
Mathlib docs broken (2 messages, latest: Feb 24 2026 at 02:10)
Bumps of PhysLean. (65 messages, latest: Feb 21 2026 at 09:15)
New members (26 messages, latest: Feb 21 2026 at 05:12)
Normed dual of Schwarz space (137 messages, latest: Feb 19 2026 at 14:35)
Hilbert space and unbounded operators (9 messages, latest: Feb 18 2026 at 07:49)
curves and surfaces (differential geometry in R3) (9 messages, latest: Feb 13 2026 at 12:17)
Tensors and index notation (2 messages, latest: Feb 13 2026 at 06:48)
Upstreaming results from OSforGFF (6 messages, latest: Feb 13 2026 at 06:23)
RSS feed for PhysLean commits (14 messages, latest: Feb 12 2026 at 13:16)
sorryful_lemma? (15 messages, latest: Feb 09 2026 at 12:10)
Linting PhysLean (22 messages, latest: Feb 09 2026 at 05:32)
Maintainer team for PhysLean (24 messages, latest: Feb 08 2026 at 22:34)
d-dimensional quantum operators (8 messages, latest: Feb 02 2026 at 10:09)
fast linting PhysLean (8 messages, latest: Jan 29 2026 at 18:26)
The PhysLean café (48 messages, latest: Jan 29 2026 at 17:03)
PhysProver (7 messages, latest: Jan 29 2026 at 10:43)
Classical Mechanics of a pendulum (6 messages, latest: Jan 23 2026 at 06:58)
Formalizing Landau and Lifshitz (26 messages, latest: Jan 16 2026 at 08:34)
APS Open Science (2 messages, latest: Jan 09 2026 at 16:09)
Long term goal: APIs to build (22 messages, latest: Jan 08 2026 at 07:06)
Currently building spectral theory (20 messages, latest: Jan 07 2026 at 08:14)
Integrable Systems (3 messages, latest: Jan 05 2026 at 15:42)
theorems search engine (7 messages, latest: Jan 05 2026 at 13:33)
A thank you (1 message, latest: Dec 31 2025 at 18:37)
Spelling in PhysLean (25 messages, latest: Dec 31 2025 at 11:10)
Structure and Interpretation of Classical Mechanics (17 messages, latest: Dec 29 2025 at 11:11)
EPR paradox formalization (5 messages, latest: Dec 28 2025 at 21:02)
Quantifiable Metrics for PhysLean (5 messages, latest: Dec 27 2025 at 23:56)
PhysLean in 2026 (5 messages, latest: Dec 27 2025 at 18:32)
Help with a <30 min task involving pendulums (56 messages, latest: Dec 27 2025 at 12:33)
Status of Pending PRs - Dec 2025 (3 messages, latest: Dec 26 2025 at 23:46)
Documentation discussion (27 messages, latest: Dec 22 2025 at 14:28)
physical units (206 messages, latest: Dec 22 2025 at 12:33)
Cateloguing different types of lemmas with attributes (1 message, latest: Dec 12 2025 at 13:54)
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)
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) to Space 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)
Priority documentation tracker (8 messages, latest: Nov 01 2025 at 06:35)
Vector calculus (143 messages, latest: Oct 31 2025 at 10:39)
Derivation of the Fine Structure Constant from First Princip (9 messages, latest: Oct 29 2025 at 18:40)
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)
autocomplete results blends in with the background in light (4 messages, latest: Sep 21 2025 at 07:41)
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)
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)
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)
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: Feb 28 2026 at 14:05 UTC