5 Commits

Author	SHA1	Message	Date
Arpad Ryszka	7540fcab1d	add made in Berlin	2026-01-21 21:59:27 +01:00
Arpad Ryszka	2fe6f88ed6	error fixes and doc updates	2026-01-21 20:54:16 +01:00
Arpad Ryszka	4c6c817431	documentation	2026-01-18 22:52:27 +01:00
Arpad Ryszka	b2a2974aa2	remove unused proofs, fix docs link	2026-01-08 21:24:47 +01:00
Arpad Ryszka	ffe389d96d	use non-screaming casing	2025-10-22 21:01:15 +02:00