Giters
proof-ninja

proof-ninja

Geek Repo

Location:Japan

Home Page:https://proof-ninja.co.jp/

Github PK Tool:Github PK Tool

proof-ninja's repositories

merckletree_coq

Formal Verification of Merckle Proof algorithm in Coq

Language:CoqStargazers:3Issues:0Issues:0

norimaki

Language:OCamlStargazers:3Issues:0Issues:0

coq-scaml

SCaml Smart Contract Environment for Coq Provers

Language:CoqStargazers:2Issues:0Issues:0

ovm_contracts_scaml

OVM implementation in SCaml on Tezos

Language:OCamlStargazers:1Issues:0Issues:0

docker-tezos-client

Language:DockerfileStargazers:0Issues:0Issues:0

scaml-docker

Language:DockerfileStargazers:0Issues:0Issues:0