3 Commits

Author	SHA1	Message	Date
Janis Hutz	a9805c198c	[AD] Add note	2025-12-31 11:24:06 +01:00
Janis Hutz	33f034fdd1	[AW] Update summary to new version of helpers	2025-09-26 12:19:22 +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