Personal Information
Organização/Local de trabalho
tokyo Japan
Cargo
OCaml hacker
Setor
Technology / Software / Internet
Marcadores
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 mais
Apresentações
(21)Personal Information
Organização/Local de trabalho
tokyo Japan
Cargo
OCaml hacker
Setor
Technology / Software / Internet
Marcadores
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 mais