Formal Proof of the Hash Algorithm of Node (!6) · Merge requests · dailambda / plebeia · GitLab

yoshihiro503 requested to merge proof_ninja/plebeia:yoshihiro503@proof_of_hash_calculus into master Jan 21, 2020

Coq Formal Verification of https://gitlab.com/dailambda/plebeia/blob/master/doc/hash.ml

(c.f. #29 (closed))