All pull requests

Pull requests

• feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau)

  large
  #1687·KevorkianPhilippe opened Sep 25, 2026Contributor·

  ·
  1

• feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau)

  medium
  #1684·KevorkianPhilippe opened Sep 24, 2026Contributor·

  ·
  6

• feat: add angular momentum squared and ladder operators

  awaiting-authorlarget-quantum-mechanics
  #1679·lizr-phys opened Sep 23, 2026Contributor·

  ·
  4

• feat(ProbabilisticTheory): state separation

  blocked-by-PRlarge
  #1672·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): states

  blocked-by-PRlarge
  #1671·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): channels and weights

  blocked-by-PRlarge
  #1670·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): effects

  blocked-by-PRlarge
  #1668·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  1

• feat(ProbabilisticTheory): order-unit spaces

  large
  #1667·TomOleDiem opened Sep 20, 2026Contributor·

  ·
  21

  

• feat(QuantumMechanics): Hamiltonian and related operators of the Pöschl-Teller system

  mediumreviewer-approvedt-quantum-mechanics
  #1651·KevorkianPhilippe opened Sep 11, 2026Contributor·

  ·
  13

  

• feat(QuantumMechanics): Rydberg formula and spectral series of the hydrogen atom

  mediumt-quantum-mechanics
  #1648·KevorkianPhilippe opened Sep 11, 2026Contributor·

  ·
  22

  

• feat(Cosmology): conformal time, conformal Hubble factor and the Friedmann equations in conformal time

  blocked-by-PRlarget-cosmology
  #1641·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): lookback time, luminosity and angular-diameter distances, Etherington, low-redshift coefficients

  blocked-by-PRlarget-cosmology
  #1640·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): comoving distance, redshift, Hubble-Lemaitre law, transverse distance and horizons

  blocked-by-PRlarget-cosmology
  #1639·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): energy conditions, acceleration criterion, deceleration parameter, eternal expansion and Big-Bang bound

  blocked-by-PRlarget-cosmology
  #1638·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): density parameters, closure relation, reduced Hubble function and age

  blocked-by-PRlarget-cosmology
  #1637·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): barotropic equation of state, density scaling laws, cosmological constant as a fluid

  blocked-by-PRmediumt-cosmology
  #1636·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  1

• feat(Cosmology): continuity equation of the cosmic fluid from the Friedmann equations

  mediumt-cosmology
  #1635·KevorkianPhilippe opened Sep 10, 2026Contributor·

  ·
  21

  

• refactor(OperatorAlgebra): Implement states in more Mathlib-aligned style (RFC)

  larget-quantum-mechanics
  #1602·goliath-klein opened Sep 1, 2026·

  ·
  3

• QuantumInfo: StdBasis refactor

  awaiting-authorlarge
  #1578·Timeroot opened Aug 24, 2026Collaborator·

  ·
  9

• auto-task(OperatorAlgebra): add API-map.yaml for the observable-algebra API

  awaiting-authorsmall
  #1555·Alex-Zughaid opened Aug 20, 2026Contributor·

  ·
  2

• feat(PhyslibAlpha): Add results of 2606.13889 to PhyslibAlpha as informal lemmas

  awaiting-authorPhyslibAlpha
  #1461·jstoobysmith opened Jul 24, 2026Member·

  ·
  8

• feat: Added PR template

  awaiting-author
  #1458·Alex-Zughaid opened Jul 22, 2026Contributor·

  ·
  1

  2

  

• feat(QuantumMechanics): derivative operators via Fourier-conjugated m…

  awaiting-authort-quantum-mechanics
  #1454·adambornemann-glitch opened Jul 21, 2026Contributor·

  ·
  16

  

• feat: Github actions workflow to send a message to Zulip thread

  CI
  #1453·Alex-Zughaid opened Jul 21, 2026Contributor·

  ·
  1

  

• feat: Add API map for the SM

  awaiting-authort-particles
  #1419·jstoobysmith opened Jul 14, 2026Member·

  ·
  4