jstoobysmith
|
5af693ce8d
|
feat: basis for tensors
|
2025-02-14 12:18:09 +00:00 |
|
jstoobysmith
|
4103ad021c
|
refactor: Update website links
|
2025-02-14 12:06:01 +00:00 |
|
jstoobysmith
|
08e9226e22
|
refactor: Update informal graph
|
2025-02-14 09:47:25 +00:00 |
|
jstoobysmith
|
21ac11cb53
|
feat: Update logo
|
2025-02-14 09:10:09 +00:00 |
|
jstoobysmith
|
0abd1cd990
|
refactor: Lint
|
2025-02-14 08:57:54 +00:00 |
|
jstoobysmith
|
16554ebe68
|
refactor: website
|
2025-02-14 08:56:51 +00:00 |
|
jstoobysmith
|
e1303cbcf8
|
refactor: some docs
|
2025-02-14 08:50:24 +00:00 |
|
jstoobysmith
|
1b8360fda8
|
Update README.md
|
2025-02-14 08:46:46 +00:00 |
|
jstoobysmith
|
49ec0b6ea7
|
refactor: Move files and update toml
|
2025-02-14 08:45:02 +00:00 |
|
Joseph Tooby-Smith
|
a957bb484c
|
Merge pull request #334 from HEPLean/NotesFix
docs: More doc updates for Wick's theorem
|
2025-02-13 14:41:30 +00:00 |
|
jstoobysmith
|
7d91d4c2dd
|
Update TimeCond.lean
|
2025-02-13 12:05:37 +00:00 |
|
jstoobysmith
|
e3e8354be5
|
docs: Update documentation
|
2025-02-13 11:07:26 +00:00 |
|
jstoobysmith
|
82fae67ba3
|
refactor: Update supercommute notation
|
2025-02-13 10:44:15 +00:00 |
|
Joseph Tooby-Smith
|
63538972b8
|
Merge pull request #333 from HEPLean/NotesFix
docs: Fix typos in docs
|
2025-02-13 10:07:11 +00:00 |
|
jstoobysmith
|
d2ce55ddd0
|
docs: Fix typos in docs
|
2025-02-13 09:48:19 +00:00 |
|
Joseph Tooby-Smith
|
4c2b09eb2e
|
Merge pull request #332 from HEPLean/bump
Update README.md
|
2025-02-13 09:41:13 +00:00 |
|
jstoobysmith
|
ed22310912
|
Update README.md
|
2025-02-13 08:31:19 +00:00 |
|
Joseph Tooby-Smith
|
cc20d096ea
|
Merge pull request #331 from HEPLean/bump
refactor: speed increasing changes
|
2025-02-12 16:19:12 +00:00 |
|
jstoobysmith
|
1eb66d3eb9
|
refactor: speed increasing changes
|
2025-02-12 15:56:31 +00:00 |
|
Joseph Tooby-Smith
|
3b00f963bf
|
Merge pull request #330 from HEPLean/bump
chore: bump to lean v4.16.0
|
2025-02-12 15:35:22 +00:00 |
|
jstoobysmith
|
0a712ea894
|
refactor: Lint
|
2025-02-12 15:09:41 +00:00 |
|
jstoobysmith
|
fce5d9b03c
|
refactor: Replace erw with rw
|
2025-02-12 14:27:02 +00:00 |
|
jstoobysmith
|
fe082d93c2
|
chore: bump to v4.16.0
|
2025-02-12 14:24:26 +00:00 |
|
Joseph Tooby-Smith
|
5440bb8e04
|
Merge pull request #329 from HEPLean/WickTheoremDoc
refactor: typos in doc strings
|
2025-02-12 14:08:30 +00:00 |
|
jstoobysmith
|
73717f151f
|
refactor: typos in doc strings
|
2025-02-12 10:34:58 +00:00 |
|
Joseph Tooby-Smith
|
f44828f4a7
|
Merge pull request #328 from HEPLean/WickTheoremDoc
refactor: Slight adjustments to doc-strings
|
2025-02-12 09:42:19 +00:00 |
|
jstoobysmith
|
ea29b15e4a
|
refactor: Slight adjustments to doc-strings
|
2025-02-12 06:14:11 +00:00 |
|
Joseph Tooby-Smith
|
cceb98ba55
|
Merge pull request #327 from HEPLean/WickTheoremDoc
refactor: Update website homepage
|
2025-02-11 15:33:48 +00:00 |
|
jstoobysmith
|
3fc88eaca8
|
refactor: Update website homepage
|
2025-02-11 15:05:08 +00:00 |
|
Joseph Tooby-Smith
|
9d302c9a47
|
Merge pull request #326 from HEPLean/WickTheoremDoc
feat: Website include code snippet
|
2025-02-10 15:49:33 +00:00 |
|
jstoobysmith
|
d6e6c0d773
|
feat: Website include code snippet
|
2025-02-10 15:26:13 +00:00 |
|
Joseph Tooby-Smith
|
8c39af614b
|
Merge pull request #325 from HEPLean/WickTheoremDoc
docs: Update site homepage to a MVV statement
|
2025-02-10 15:07:37 +00:00 |
|
jstoobysmith
|
d26aab4893
|
docs: Update site homepage to a MVV statement
|
2025-02-10 14:47:56 +00:00 |
|
Joseph Tooby-Smith
|
1d76774ff5
|
Merge pull request #324 from HEPLean/WickTheoremDoc
docs: Wick theorem
|
2025-02-10 11:41:36 +00:00 |
|
jstoobysmith
|
6519b9be36
|
refactor: Lint
|
2025-02-10 11:05:03 +00:00 |
|
jstoobysmith
|
b4333f038a
|
refactor: More spellings
|
2025-02-10 10:59:09 +00:00 |
|
jstoobysmith
|
dc5b63c4a7
|
refactor: Spelling and typos
|
2025-02-10 10:51:44 +00:00 |
|
jstoobysmith
|
b30a49d7db
|
refactor: More docs for Wick's theorems
|
2025-02-10 10:40:07 +00:00 |
|
jstoobysmith
|
4096010e70
|
doc: Edits to Wick theorem docs
|
2025-02-10 10:21:57 +00:00 |
|
jstoobysmith
|
26d2c24c83
|
refactor: More spelling
|
2025-02-09 14:50:03 +00:00 |
|
Joseph Tooby-Smith
|
81a6981554
|
Merge pull request #323 from HEPLean/WickTheoremDoc
refactor: Spellings
|
2025-02-09 12:54:52 +00:00 |
|
jstoobysmith
|
4a55351b72
|
refactor: Spellings
|
2025-02-08 13:07:54 +00:00 |
|
Joseph Tooby-Smith
|
08e0e8e8d0
|
Merge pull request #322 from HEPLean/WickTheoremDoc
refactor: Spellings
|
2025-02-07 16:30:24 +00:00 |
|
jstoobysmith
|
4cd71f5ec6
|
refactor: Spelling
|
2025-02-07 15:45:50 +00:00 |
|
jstoobysmith
|
f8f1e1757f
|
refactor: Spelling
|
2025-02-07 15:43:59 +00:00 |
|
Joseph Tooby-Smith
|
10d0f9399c
|
Merge pull request #321 from HEPLean/WickTheoremDoc
feat: Update website
|
2025-02-07 15:20:51 +00:00 |
|
jstoobysmith
|
b82791d671
|
feat: Add ability to toggle background color
|
2025-02-07 14:20:59 +00:00 |
|
jstoobysmith
|
928b7e9e43
|
refactor: Update note
|
2025-02-07 14:09:12 +00:00 |
|
jstoobysmith
|
1be737b4de
|
feat: Remove declarations from lean snippets
|
2025-02-07 13:49:10 +00:00 |
|
jstoobysmith
|
b7ae7dc2ad
|
refactor: Fix typos
|
2025-02-07 13:19:36 +00:00 |
|