Personal Information
Organization / Workplace
nagoya Japan
Occupation
Software Developer
About
ÐÂÃ׳§·¡¤Ë¤Ê¤ê¤Þ¤·¤¿¡£
Tags
coq
proof driven
msgpack
scala
type checking
formal
proof
ocaml
ruby
messagepack
wankuma
coq ruby
See more
Users following Hiroki Mizuno