Following Organizations
No Organizations you are following
Followees
- Shun Mizukami@mizukami234
Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover
No Organizations you are following
Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover