Dibyashanu Pati
f821bf71c5
edited README
2025-04-23 12:35:51 +05:30
Dibyashanu Pati
94802e942b
attempt at the ideal gas law
2025-04-23 12:04:02 +05:30
Joseph Tooby-Smith
71a9b4fa49
docs: Around classical harmonic oscillator. ( #442 )
...
* feat: Add tags
* feat: Add tags to YML
* refactor: Lint
* feat: Sort TODOs
* feat: Add semi-formal results
* feat: fix name
* refactor: Lint
* feat: semi-formal results around EM
* feat: Lint and make tags function
* feat: Documentation around classical harmonic oscillator
* Update Basic.lean
2025-04-01 16:12:21 +00:00
Joseph Tooby-Smith
f6739e9f31
feat: Semiformal results around Em ( #441 )
...
* feat: Add tags
* feat: Add tags to YML
* refactor: Lint
* feat: Sort TODOs
* feat: Add semi-formal results
* feat: fix name
* refactor: Lint
* feat: semi-formal results around EM
* feat: Lint and make tags function
2025-04-01 15:15:02 +00:00
Joseph Tooby-Smith
dc5e8879de
feat: Semi-formal results ( #440 )
...
* feat: Add tags
* feat: Add tags to YML
* refactor: Lint
* feat: Sort TODOs
* feat: Add semi-formal results
* feat: fix name
* refactor: Lint
2025-04-01 12:38:14 +00:00
Joseph Tooby-Smith
880bd44cb9
feat: Sort TODOs better ( #437 )
...
* feat: Add tags
* feat: Add tags to YML
* refactor: Lint
* feat: Sort TODOs
2025-04-01 10:18:04 +00:00
Joseph Tooby-Smith
91d3f9388d
Tagged TODOs ( #435 )
...
* feat: Add tags
* feat: Add tags to YML
* refactor: Lint
2025-04-01 08:15:18 +00:00
Joseph Tooby-Smith
cac586d1bf
feat: Add evaluation ( #432 )
...
* feat: Add evaluation
* Update Basic.lean
2025-03-31 10:15:30 +00:00
Joseph Tooby-Smith
a6a4a97011
feat: Actions on tensors ( #428 )
...
* feat: Some properties of tensors
* feat: Actions on tensors
* feat: More work on tensors
* feat: New results related to contractions
* refactor: Properties of contractions
* feat: Properties of products
* feat: prod node identities
* feat: More results regarding contractions
* refactor: Style lint
* refactor: Free simps
* feat: Some doc strings
* refactor: More doc-strings
* refactor: Remaining doc strings
* refactor: Lint
2025-03-31 06:52:23 +00:00
Joseph Tooby-Smith
f39411e5c9
chore: Remove archive ( #429 )
...
* chore: Remove archive
* remove: TODO
2025-03-27 12:56:25 -04:00
Ammar Husain
5925bfa16f
General 1D Potential ( #426 )
...
* stub
* general potential + linearity
* feat: Add copyright and title
* refactor: Doc Strings
* refactor: Lint
* refactor: Lint
* refactor: More lint
* feat: Remove bounded
2025-03-26 15:34:57 -04:00
Joseph Tooby-Smith
dbe181b002
Merge pull request #427 from oeb25/master
...
Update README links to new documentation location
2025-03-25 07:24:15 -04:00
oeb25
cd5760ecc2
Update README links to new documentation location
2025-03-25 11:34:14 +01:00
Joseph Tooby-Smith
d8df015c56
Merge pull request #424 from HEPLean/erw
...
removing some erw's
2025-03-24 13:36:55 -04:00
jstoobysmith
1bbc9ac564
refactor: Lint
2025-03-24 12:02:43 -04:00
jstoobysmith
70ace79ccc
feat: Remove more erws
2025-03-24 11:50:41 -04:00
jstoobysmith
becf9d1841
chore: Remove mk_hom and mk_left from simp
2025-03-24 10:44:48 -04:00
jstoobysmith
0c9951d3b6
refactor: remove some erws
2025-03-24 10:19:31 -04:00
jstoobysmith
d18ede024d
chore: Replace Finset.sum_product
2025-03-24 09:14:57 -04:00
Joseph Tooby-Smith
c6d65bb308
Merge pull request #423 from HEPLean/Tensors
...
feat: Defn TensorTreeQuot
2025-03-24 09:00:58 -04:00
jstoobysmith
85a23a8fe4
refactor: Lint
2025-03-24 07:40:28 -04:00
jstoobysmith
35ebb44986
Update PhysLean.lean
2025-03-24 07:15:40 -04:00
jstoobysmith
24f2565bcb
refactor: Lint
2025-03-24 06:41:35 -04:00
jstoobysmith
f0a15e6068
feat: Defn TensorTreeQuot
2025-03-24 06:28:05 -04:00
Joseph Tooby-Smith
34c300ccc7
Merge pull request #422 from HEPLean/Tensors
...
chore: Lint & remove TODO
2025-03-24 05:46:36 -04:00
jstoobysmith
7f8f990570
Update MaxwellEquations.lean
2025-03-24 05:19:13 -04:00
jstoobysmith
0b41a58d83
chore: Lint & remove TODO
2025-03-24 05:07:07 -04:00
Joseph Tooby-Smith
dddbeb57d9
Merge pull request #421 from placidex/todo
...
Making the code more functional
2025-03-23 16:02:03 -04:00
Krishna Padmasola
d0f3726cb5
Making the code more functional
2025-03-23 23:06:24 +05:30
Joseph Tooby-Smith
93b955b28c
Merge pull request #420 from HEPLean/style-lint-changes
...
feat: Lemmas regarding duals for real Lorentz tensors
2025-03-22 05:36:50 -04:00
jstoobysmith
92b1266d70
feat: Lemmas regarding duals for real Lorentz tensors
2025-03-21 14:56:48 -04:00
Joseph Tooby-Smith
ad7ab11155
Merge pull request #419 from HEPLean/style-lint-changes
...
feat: Update todos
2025-03-21 14:21:26 -04:00
jstoobysmith
cfcdb880c3
feat: Update todos
2025-03-21 13:52:24 -04:00
Joseph Tooby-Smith
acaf209961
Merge pull request #418 from HEPLean/style-lint-changes
...
chore: Style lint changes
2025-03-21 12:32:11 -04:00
jstoobysmith
7e5337ef0d
Merge branch 'master' into style-lint-changes
2025-03-21 11:39:15 -04:00
jstoobysmith
cebd21901f
feat: Update bump.yml
2025-03-21 11:39:09 -04:00
Joseph Tooby-Smith
73d2248671
Merge pull request #417 from HEPLean/bump
...
feat: Boosts of Lorentz vectors
2025-03-21 11:35:08 -04:00
jstoobysmith
b56c689121
feat: Update style lint
2025-03-21 11:22:23 -04:00
jstoobysmith
08f0a01e9d
refactor: lint
2025-03-21 11:12:58 -04:00
jstoobysmith
1d7eeb7c4e
feat: Boosts of Lorentz vectors
2025-03-21 11:04:47 -04:00
Joseph Tooby-Smith
26897caaa5
Merge pull request #416 from HEPLean/bump
...
feat: Add ordinary Lorentz boosts
2025-03-21 08:04:33 -04:00
jstoobysmith
532e68e169
Update MaxwellEquations.lean
2025-03-21 07:23:06 -04:00
jstoobysmith
d12947909d
refactor: Lint
2025-03-21 07:16:34 -04:00
jstoobysmith
277538424a
feat: Add ordinary boosts
2025-03-21 07:11:42 -04:00
Joseph Tooby-Smith
04e14c389c
Merge pull request #415 from HEPLean/bump
...
chore: Bump to v4.18.0-rc1
2025-03-20 13:23:41 -04:00
jstoobysmith
812440c812
chore: Bump to v4.18.0-rc1
2025-03-20 12:56:28 -04:00
Joseph Tooby-Smith
a662754b34
Merge pull request #413 from HEPLean/bump-issue-template
...
feat: Create Bump.yml
2025-03-20 11:37:59 -04:00
jstoobysmith
9f37aa5c8f
feat: Create Bump.yml
2025-03-20 11:15:56 -04:00
Joseph Tooby-Smith
666ac67a7e
Merge pull request #410 from HEPLean/Derivatives
...
feat: Maxwell's equation
2025-03-20 09:37:56 -04:00
jstoobysmith
869a9925ef
refactor: lint
2025-03-20 09:06:23 -04:00
