6 Commits

Author	SHA1	Message	Date
Janis Hutz	a9805c198c	[AD] Add note	2025-12-31 11:24:06 +01:00
Janis Hutz	a3453473c4	[Submod] Remove complete	2025-09-29 15:27:58 +02:00
Janis Hutz	33f034fdd1	[AW] Update summary to new version of helpers	2025-09-26 12:19:22 +02:00
Janis Hutz	736a154b3a	Update README, migrate to submodule for helpers	2025-09-22 08:58:45 +02:00
Janis Hutz	8a8faab930	Restructure files	2025-09-17 13:13:51 +02:00
Janis Hutz	a4309f0ede	Add A&W summary. Still WIP for fixing errors and more proofs	2025-09-12 17:07:40 +02:00