@mumu2001

0
Posts 2
Followees 1
Followers

Following Organizations

No Organizations you are following

Following tags(10)See all

Rust TypeScript AppEngine PostgreSQL Scala CoffeeScript MongoDB Android Linux Python

Followees

MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
@pomu0325