DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
PhysLean/HepLean
History
Pietro Monticone 7025a2922b Update List.lean
2025-01-23 00:58:12 +01:00
..
AnomalyCancellation Update ToSols.lean 2025-01-23 00:58:05 +01:00
BeyondTheStandardModel feat: Improved todo list 2025-01-22 10:32:39 +00:00
FlavorPhysics/CKMMatrix refactor: Remove rest of redundant imports 2024-12-20 17:05:08 +00:00
Lorentz feat: Improved todo list 2025-01-22 10:32:39 +00:00
Mathematics Update List.lean 2025-01-23 00:58:12 +01:00
Meta feat: Improved todo list 2025-01-22 10:32:39 +00:00
PerturbationTheory feat: Improved todo list 2025-01-22 10:32:39 +00:00
SpaceTime feat: Improved todo list 2025-01-22 10:32:39 +00:00
StandardModel feat: Improved todo list 2025-01-22 10:32:39 +00:00
Tensors feat: Improved todo list 2025-01-22 10:32:39 +00:00