jstoobysmith
|
1c085e97a9
|
refactor: Lint
|
2025-03-18 12:04:31 +00:00 |
|
jstoobysmith
|
e59a3137cd
|
refactor: SpaceTime
|
2025-03-18 11:59:24 +00:00 |
|
Joseph Tooby-Smith
|
dc13f3a7a9
|
Merge pull request #401 from HEPLean/Real-Lorentz-Tensors
feat: Causality for Lorentz vectors
|
2025-03-18 11:18:39 +00:00 |
|
jstoobysmith
|
27da280847
|
feat: Causality for Lorentz vectors
Co-Authored-By: Matteo Cipollina <188064818+or4nge19@users.noreply.github.com>
|
2025-03-18 10:59:00 +00:00 |
|
Joseph Tooby-Smith
|
f357262057
|
Merge pull request #400 from HEPLean/Real-Lorentz-Tensors
feat: Real Lorentz vectors
|
2025-03-18 10:46:25 +00:00 |
|
jstoobysmith
|
198d939c0d
|
refactor: Lint
|
2025-03-18 10:24:56 +00:00 |
|
jstoobysmith
|
7f5db45fa3
|
feat: Real Lorentz vectors
Co-Authored-By: Matteo Cipollina <188064818+or4nge19@users.noreply.github.com>
|
2025-03-18 09:50:34 +00:00 |
|
jstoobysmith
|
fc896722db
|
feat: Properties of Real tensors
|
2025-03-18 09:49:54 +00:00 |
|
jstoobysmith
|
c998f6d4ee
|
feat: Metrics for real Lorentz tensors
|
2025-03-18 05:54:57 +00:00 |
|
Joseph Tooby-Smith
|
6fb3c59837
|
Merge pull request #398 from HEPLean/Real-Lorentz-Tensors
feat: Field strength and derivative of tensors
|
2025-03-18 05:54:15 +00:00 |
|
jstoobysmith
|
92343aa56a
|
refactor: Lint
|
2025-03-18 05:32:24 +00:00 |
|
jstoobysmith
|
84e4985ba5
|
feat: Isomorphism
|
2025-03-18 05:18:55 +00:00 |
|
jstoobysmith
|
8f4dc2f7e2
|
feat: Field strength and derivative of tensors
|
2025-03-17 15:19:47 +00:00 |
|
Joseph Tooby-Smith
|
cb32040031
|
Merge pull request #397 from HEPLean/Real-Lorentz-Tensors
refactor: Field strength in Electromagnetism
|
2025-03-17 11:15:00 +00:00 |
|
jstoobysmith
|
0a1f7b3d3e
|
refactor: Fix build
|
2025-03-17 10:52:18 +00:00 |
|
jstoobysmith
|
e6a92e7b47
|
refactor: Field strength in Electromagnetism
|
2025-03-17 09:17:48 +00:00 |
|
Joseph Tooby-Smith
|
be3ccdae19
|
Merge pull request #396 from HEPLean/ClassicalMechanics
feat: Real Lorentz Tensors
|
2025-03-17 08:04:38 +00:00 |
|
jstoobysmith
|
1bdb62ac4b
|
refactor: Lint
|
2025-03-17 07:30:49 +00:00 |
|
jstoobysmith
|
a2b12d01d1
|
feat: Real Lorentz Tensors
|
2025-03-17 06:52:45 +00:00 |
|
Pietro Monticone
|
e184f28385
|
Merge pull request #395 from HEPLean/pitmonticone/golf-Mathematics-SO3
|
2025-03-16 18:00:27 +01:00 |
|
Pietro Monticone
|
a135ed1f3c
|
refactor(Mathematics/SO3): golf
|
2025-03-16 16:57:16 +01:00 |
|
Pietro Monticone
|
64b61f93b4
|
Merge pull request #394 from HEPLean/pitmonticone/refactor-golf
|
2025-03-14 19:24:38 +01:00 |
|
Pietro Monticone
|
b773c747bc
|
refactor(QFT/PerturbationTheory): golf
|
2025-03-14 16:43:15 +01:00 |
|
Joseph Tooby-Smith
|
381192c1c1
|
Merge pull request #393 from HEPLean/ClassicalMechanics
refactor: Improve syntax for complex Lorentz tensors
|
2025-03-14 14:03:35 +00:00 |
|
jstoobysmith
|
7eddf505c5
|
refactor: Lint
|
2025-03-14 12:49:57 +00:00 |
|
jstoobysmith
|
0dbf669f7d
|
refactor: Lint
|
2025-03-14 09:46:31 +00:00 |
|
jstoobysmith
|
3305e70b2b
|
refactor: Improve syntax for complex Lorentz tensors
|
2025-03-14 07:30:17 +00:00 |
|
Joseph Tooby-Smith
|
ab6158f1da
|
Merge pull request #392 from HEPLean/ClassicalMechanics
feat: Speed up Pauli relation calculations
|
2025-03-14 06:15:20 +00:00 |
|
jstoobysmith
|
a2c40967fb
|
refactor: Fill in sorries
|
2025-03-14 05:46:24 +00:00 |
|
jstoobysmith
|
184ad9e74e
|
feat: Speed up Pauli relation calculations
|
2025-03-13 16:27:31 +00:00 |
|
Joseph Tooby-Smith
|
d65cb32881
|
Merge pull request #391 from HEPLean/ClassicalMechanics
fix: Spacing of TODO YML
|
2025-03-13 10:34:51 +00:00 |
|
jstoobysmith
|
6de962bc11
|
refactor: Improve TODO list
|
2025-03-13 10:11:46 +00:00 |
|
jstoobysmith
|
4c8dacb548
|
fix: Spacing of TODO YML
|
2025-03-13 09:09:00 +00:00 |
|
Joseph Tooby-Smith
|
29100ee4e6
|
Merge pull request #390 from HEPLean/ClassicalMechanics
feat: Add informal lemmas to the todo list
|
2025-03-13 07:57:46 +00:00 |
|
jstoobysmith
|
92aa04ba5a
|
refactor: Update todo list
|
2025-03-13 07:37:30 +00:00 |
|
Joseph Tooby-Smith
|
de72d42ece
|
Merge pull request #389 from HEPLean/ClassicalMechanics
feat: Start electromagnetism
|
2025-03-13 07:24:12 +00:00 |
|
jstoobysmith
|
da25da63e5
|
refactor: Start electromagnetism
|
2025-03-13 06:52:10 +00:00 |
|
Pietro Monticone
|
b534a2c1ea
|
Merge pull request #388 from HEPLean/pitmonticone/golf-QuantumMechanics/OneDimension/HilbertSpace
refactor(QuantumMechanics/OneDimension/HilbertSpace): golf
|
2025-03-11 14:51:53 +01:00 |
|
Pietro Monticone
|
73e3328864
|
refactor(QuantumMechanics/OneDimension/HilbertSpace): golf a bit
|
2025-03-11 13:22:23 +01:00 |
|
Joseph Tooby-Smith
|
dcf34f95c4
|
Merge pull request #387 from HEPLean/ClassicalMechanics
feat: Classical harmonic oscillator
|
2025-03-11 11:31:03 +00:00 |
|
jstoobysmith
|
c9f212240c
|
Update Solution.lean
|
2025-03-11 11:03:40 +00:00 |
|
jstoobysmith
|
fde4e56196
|
refactor: Lint
|
2025-03-11 10:59:35 +00:00 |
|
jstoobysmith
|
f9fde703bb
|
feat: Classical harmonic oscillator
|
2025-03-11 10:58:18 +00:00 |
|
Pietro Monticone
|
40290222a2
|
Merge pull request #386 from HEPLean/pitmonticone/docs-fix-typos
|
2025-03-11 11:51:46 +01:00 |
|
Pietro Monticone
|
962f1dc178
|
docs: fix a few typos
|
2025-03-11 10:11:24 +01:00 |
|
Joseph Tooby-Smith
|
10dff81a36
|
Merge pull request #382 from HEPLean/Web
feat: Fix free_simps
|
2025-03-10 15:06:36 +00:00 |
|
jstoobysmith
|
e7246442d9
|
refactor: golf
|
2025-03-10 14:48:41 +00:00 |
|
jstoobysmith
|
d25102a71d
|
refactor: Golf
|
2025-03-10 14:25:57 +00:00 |
|
Joseph Tooby-Smith
|
d0d538fe29
|
Merge pull request #383 from HEPLean/pitmonticone/golf-a-bit
chore: golf a bit
|
2025-03-10 14:23:57 +00:00 |
|
Pietro Monticone
|
4daaf72b77
|
chore: golf a bit
|
2025-03-10 14:12:58 +01:00 |
|