Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover
Location
Tokyo
Organization
DIGGLE Inc.
Participating Organizations(1)
Following Organizations
No Organizations you are following
Followees
- @katsu1110
A monkey living in random forest
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
