Personal Information
Organization / Workplace
tokyo Japan
Occupation
OCaml hacker
Industry
Technology / Software / Internet
Contact Details
Tags
tezos
blockchain
cryptocurrency
formal verification
ocaml
ocaml api search
smart contract
smartcontract
compiler
japanese
coq
certification
on-chain governance
simulation
proof of stake
pos
governance
tezos ocaml smartcontract blockchain scaml
merkle tree
merkle proof
#tezos
#ocaml
#cryptocurrency
#blockchain
#smartcontract
See more
Users following Jun Furuse