4 Commits

Author	SHA1	Message	Date
RobinB27	07bfaf0391	[Analysis] Cleaner structure	2025-12-29 12:14:51 +01:00
Janis Hutz	a3453473c4	[Submod] Remove complete	2025-09-29 15:27:58 +02:00
Janis Hutz	736a154b3a	Update README, migrate to submodule for helpers	2025-09-22 08:58:45 +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