RunesAuth
/
FormalProof
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3 Commits 1 Branch 0 Tags 76 KiB
Commit Graph

1 Commits

Author SHA1 Message Date
Luca Fulchir 186b1ad512
Proofs and little description 
Signed-off-by: Luca Fulchir <luker@fenrirproject.org>
 2016-10-14 11:05:37 +02:00