Joseph Tooby-Smith
|
04607e4c8f
|
Merge pull request #42 from HEPLean/jstoobysmith-patch-2
Update README.md
|
2024-06-07 10:07:51 -04:00 |
|
Joseph Tooby-Smith
|
7489430f28
|
Update README.md
|
2024-06-07 09:57:01 -04:00 |
|
Joseph Tooby-Smith
|
ba506280c1
|
Merge pull request #41 from HEPLean/Update-versions
chore: Update to Lean 4.9-rc1
|
2024-06-07 09:56:39 -04:00 |
|
jstoobysmith
|
b0db05a208
|
chore: Update to Lean 4.9-rc1
|
2024-06-07 08:41:49 -04:00 |
|
Joseph Tooby-Smith
|
60f1ebc3eb
|
Merge pull request #40 from HEPLean/jstoobysmith-patch-1
Update README.md
|
2024-06-01 07:08:48 -04:00 |
|
Joseph Tooby-Smith
|
abc4a3c892
|
Update README.md
|
2024-05-31 16:56:02 -04:00 |
|
Joseph Tooby-Smith
|
801a92944e
|
Merge pull request #39 from HEPLean/License
Create LICENSE
|
2024-05-31 16:32:08 -04:00 |
|
Joseph Tooby-Smith
|
2396c3d353
|
Create LICENSE
|
2024-05-31 16:18:33 -04:00 |
|
Joseph Tooby-Smith
|
2dbaa70546
|
Merge pull request #38 from HEPLean/Update_to_lake-manifest.json
feat: update to lakefile.toml
|
2024-05-31 15:44:16 -04:00 |
|
jstoobysmith
|
d81fa5d181
|
feat: update to lakefile.toml
|
2024-05-31 14:58:07 -04:00 |
|
Joseph Tooby-Smith
|
294e4974b4
|
Merge pull request #37 from HEPLean/SpaceTime/LorentzGroup
feat: Add properties of lorentz algebra
|
2024-05-29 17:05:27 -04:00 |
|
jstoobysmith
|
4efbe72577
|
refactor: Lint
|
2024-05-29 16:52:20 -04:00 |
|
jstoobysmith
|
09b9d615f9
|
refactor: Lint
|
2024-05-29 16:43:41 -04:00 |
|
jstoobysmith
|
20dd51d897
|
feat: Add lorentz algebra results
|
2024-05-29 16:42:04 -04:00 |
|
jstoobysmith
|
a52d8ea452
|
feat: Add lorentz algebra lemma
|
2024-05-24 15:33:29 -04:00 |
|
Joseph Tooby-Smith
|
f812f3b146
|
Merge pull request #36 from HEPLean/SpaceTime/LorentzGroup
Refactor: Change def of space-time metric
|
2024-05-24 08:50:42 -04:00 |
|
jstoobysmith
|
8ab4c446da
|
Refactor: Change \eta
|
2024-05-23 10:15:50 -04:00 |
|
Joseph Tooby-Smith
|
72f90bfee4
|
Merge pull request #35 from HEPLean/SpaceTime/LorentzGroup
Rotations in Lorentz group
|
2024-05-23 06:25:59 -04:00 |
|
jstoobysmith
|
b3fa7b503c
|
fix: File name case error
|
2024-05-22 16:50:53 -04:00 |
|
jstoobysmith
|
9c836e1f86
|
Update build.yml
|
2024-05-22 16:44:27 -04:00 |
|
jstoobysmith
|
789ed167a1
|
Update build.yml
|
2024-05-22 16:43:35 -04:00 |
|
jstoobysmith
|
64a1725bc3
|
Update build.yml
|
2024-05-22 16:41:03 -04:00 |
|
jstoobysmith
|
2824826b0f
|
Update build.yml
|
2024-05-22 16:35:19 -04:00 |
|
jstoobysmith
|
f78755a6ea
|
feat: Restate build.yml
|
2024-05-22 14:52:34 -04:00 |
|
jstoobysmith
|
b1a460b0da
|
chore: Update workflow
|
2024-05-22 14:27:35 -04:00 |
|
jstoobysmith
|
9305effe79
|
Refactor: Lint
|
2024-05-22 13:34:53 -04:00 |
|
jstoobysmith
|
7107ba8b80
|
Merge branch 'master' into SpaceTime/LorentzGroup
|
2024-05-22 09:19:20 -04:00 |
|
jstoobysmith
|
ae7ec01f22
|
feat: Add properties of rotations
|
2024-05-22 09:18:12 -04:00 |
|
Joseph Tooby-Smith
|
dd0e7459f0
|
Merge pull request #33 from pitmonticone/typos
Fix typos in docstrings and code
|
2024-05-21 12:48:40 -04:00 |
|
jstoobysmith
|
dbecdcf82d
|
feat: add SO(3) property
|
2024-05-21 11:31:57 -04:00 |
|
jstoobysmith
|
0d2999344c
|
Merge branch 'jstoobysmith/Copilot' into SpaceTime/LorentzGroup
|
2024-05-21 08:42:39 -04:00 |
|
jstoobysmith
|
939623ed05
|
docs: update ReadMe file.
|
2024-05-21 08:18:09 -04:00 |
|
Pietro Monticone
|
64d98066da
|
Update Basic.lean
|
2024-05-21 14:12:57 +02:00 |
|
Pietro Monticone
|
e29a94d390
|
Update Lemmas.lean
|
2024-05-21 14:12:55 +02:00 |
|
Pietro Monticone
|
4528d22dc6
|
Update LinearParameterization.lean
|
2024-05-21 14:12:53 +02:00 |
|
Pietro Monticone
|
87183d6e93
|
Update Parameterization.lean
|
2024-05-21 14:10:56 +02:00 |
|
Pietro Monticone
|
720afc70e8
|
Update ConstAbs.lean
|
2024-05-21 14:10:54 +02:00 |
|
Pietro Monticone
|
d7eb122dd9
|
Update Basic.lean
|
2024-05-21 14:10:53 +02:00 |
|
Pietro Monticone
|
85f7800ef2
|
Update Basic.lean
|
2024-05-21 14:10:51 +02:00 |
|
Pietro Monticone
|
940c10ce28
|
Update LineInCubic.lean
|
2024-05-21 14:08:19 +02:00 |
|
Pietro Monticone
|
ae2b974669
|
Update BasisLinear.lean
|
2024-05-21 14:07:53 +02:00 |
|
jstoobysmith
|
3bb69f939d
|
feat: Add copilot add script
|
2024-05-21 07:48:06 -04:00 |
|
jstoobysmith
|
f340177137
|
chore: Update gitignore
|
2024-05-21 07:15:02 -04:00 |
|
Joseph Tooby-Smith
|
91e5b6ed06
|
Merge pull request #34 from HEPLean/Workflows
feat: Add workflows for pull-requests
|
2024-05-21 06:57:44 -04:00 |
|
jstoobysmith
|
d666594a85
|
chore: Delete file
|
2024-05-21 06:46:22 -04:00 |
|
jstoobysmith
|
522eeff117
|
feat: Workflows on pull requests
|
2024-05-21 06:44:29 -04:00 |
|
jstoobysmith
|
7bb62fe9ad
|
Merge branch 'master' into Workflows
|
2024-05-21 06:29:38 -04:00 |
|
jstoobysmith
|
026ed8b85e
|
feat: Add instance of SO(3) as topological group
|
2024-05-21 06:21:51 -04:00 |
|
Pietro Monticone
|
665289854a
|
Update TargetSpace.lean
|
2024-05-20 23:36:47 +02:00 |
|
Pietro Monticone
|
503fd41712
|
Update Orthochronous.lean
|
2024-05-20 23:36:45 +02:00 |
|