j_hartling

0 Followers · 0 Following

• Joined on 2023-01-16

Repositories

1

Projects Packages Public Activity Starred Repositories

j_hartling pushed to main at j_hartling/paper_2025 2025-11-10 14:53:59 +00:00

30332430b8 Formalizing intensity invariances (WIP).

j_hartling pushed to main at j_hartling/paper_2025 2025-11-06 15:19:44 +00:00

c49d28933b More formalizing (WIP).

j_hartling pushed to main at j_hartling/paper_2025 2025-11-06 08:27:36 +00:00

d9fb7d3e5d Formalizing stuff (WIP).

j_hartling pushed to main at j_hartling/paper_2025 2025-11-03 13:32:52 +00:00

48f3c8cd41 Bullet-pointing a first draft (WIP).

j_hartling created branch main in j_hartling/paper_2025 2025-10-13 14:25:15 +00:00

j_hartling pushed to main at j_hartling/paper_2025 2025-10-13 14:25:15 +00:00

16f318fd40 Initialized

j_hartling created repository j_hartling/paper_2025 2025-10-13 14:18:07 +00:00