3 commits

Author	SHA1	Message	Date
Dennis Frieberg	88b294c767	handed in version (minus signature and burocracy stuff)	2025-01-14 14:48:35 +01:00
Dennis Frieberg	0ef95e1735	before adjunction proof	2024-07-28 23:34:21 +02:00
nerf	6ff468d7a8	Initial commit	2023-08-20 20:50:20 +02:00