proof-ninja's repositories
merckletree_coq
Formal Verification of Merckle Proof algorithm in Coq
ovm_contracts_scaml
OVM implementation in SCaml on Tezos
Language:Dockerfile000
Language:Dockerfile000
Formal Verification of Merckle Proof algorithm in Coq
OVM implementation in SCaml on Tezos