Commit Graph

3 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
Luca Fulchir 0afba5f2cb
Added Readme.md
Signed-off-by: Luca Fulchir <luker@fenrirproject.org>
2016-10-14 10:44:25 +02:00