Commit Graph

2 Commits

Author SHA1 Message Date
a9805c198c [AD] Add note 2025-12-31 11:24:06 +01:00
a4309f0ede Add A&W summary. Still WIP for fixing errors and more proofs 2025-09-12 17:07:40 +02:00