4 Commits

Author	SHA1	Message	Date
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