forked from leanprover-community/physlib
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: jagg-ix/entropic-physlib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[entropicTime 17/17] Geometry: explicit stereographic Riemann sphere bijection
#35
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 16/17] EntropicTime: symmetric-stable pseudo-metric and metric entropy
#34
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 15/17] Relativity and geometry: Levi-Civita, curvature, tetrads, Regge, and dimensional scaling
#33
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 14/17] Quantum time: Schrodinger, clocks, relational time, and Sorkin-Johnston bridges
#32
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 13/17] Quantum operators: Bose/Fermi statistics, Fock space, and Hopf bridges
#31
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 12/17] Open quantum systems: decoherence, CPTP, Lindblad, and entropy production
#30
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 11/17] Dynamics: nonlinear, chaos, Lyapunov, and transport bridges
#29
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 10/17] Gauge theory: Dirac, QED, Yang-Mills, and BCJ bridge modules
#28
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 09/17] Foundations: units, measures, integration, and analysis helpers
#27
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 08/17] Analysis: D-dimensional and spectral compatibility helpers
#26
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 07/17] Topological QFT: Chern-Simons, Wilson loops, and Verlinde bridges
#25
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 06/17] Path integrals: contour, saddle, Feynman-Kac, and complex-action bridges
#24
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 05/17] Classical mechanics and thermodynamics support for entropic dynamics
#23
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 04/17] Quantum information: Bell, no-signaling, PT, and information-rate bridges
#22
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 03/17] AQFT: causal local-net and quasifree field bridges
#21
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 02/17] EntropicSpine: QM-to-GR entropic dynamics bridge
#20
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
[entropicTime 01/17] SpaceTime: entropic proper time with information dimension
#19
opened Jul 8, 2026 by
jagg-ix
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:master.