2 Commits

Author	SHA1	Message	Date
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