j-hartling
|
f1957a147f
|
Holiday syncing.
|
2025-12-18 15:40:25 +01:00 |
|
j-hartling
|
14c6b0ef30
|
Wrote the very first part of the introduction.
|
2025-12-16 16:45:11 +01:00 |
|
j-hartling
|
8732881c78
|
Syncing to home.
|
2025-12-09 15:51:27 +01:00 |
|
j-hartling
|
2296f083c6
|
Started writing full text.
|
2025-12-05 16:44:44 +01:00 |
|
j-hartling
|
53e43f61f5
|
Currently formalizing log-invariance (WIP).
|
2025-11-11 15:52:07 +01:00 |
|
j-hartling
|
30332430b8
|
Formalizing intensity invariances (WIP).
|
2025-11-10 15:53:47 +01:00 |
|
j-hartling
|
d9fb7d3e5d
|
Formalizing stuff (WIP).
|
2025-11-06 09:27:17 +01:00 |
|
j-hartling
|
48f3c8cd41
|
Bullet-pointing a first draft (WIP).
|
2025-11-03 14:32:26 +01:00 |
|