6 Commits

Author	SHA1	Message	Date
Janis Hutz	33423c4698	[Analysis] Add some notes	2026-01-30 16:00:54 +01:00
Janis Hutz	757b74fcb9	[Analysis] Add English and German versions of my cheat sheet	2025-12-29 12:21:24 +01:00
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