Personal Information
Organización/Lugar de trabajo
tokyo Japan
Ocupación
OCaml hacker
Sector
Technology / Software / Internet
Etiquetas
tezos
blockchain
cryptocurrency
formal verification
ocaml
compiler
japanese
smartcontract
smart contract
ocaml api search
#smartcontract
#blockchain
#cryptocurrency
#ocaml
#tezos
merkle proof
merkle tree
tezos ocaml smartcontract blockchain scaml
governance
pos
proof of stake
simulation
on-chain governance
certification
coq
Ver más
Presentaciones
(21)Personal Information
Organización/Lugar de trabajo
tokyo Japan
Ocupación
OCaml hacker
Sector
Technology / Software / Internet
Etiquetas
tezos
blockchain
cryptocurrency
formal verification
ocaml
compiler
japanese
smartcontract
smart contract
ocaml api search
#smartcontract
#blockchain
#cryptocurrency
#ocaml
#tezos
merkle proof
merkle tree
tezos ocaml smartcontract blockchain scaml
governance
pos
proof of stake
simulation
on-chain governance
certification
coq
Ver más