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-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