2 Commits

Author	SHA1	Message	Date
Luca Fulchir	008df914d4	Proof dump, to be checked ... Signed-off-by: Luca Fulchir <luca.fulchir@runesauth.com>	2023-02-10 15:45:12 +01:00
Luca Fulchir	186b1ad512	Proofs and little description ... Signed-off-by: Luca Fulchir <luker@fenrirproject.org>	2016-10-14 11:05:37 +02:00