Androidアプリの開発者。カスタムROMも自作したりしてる人。
Following Organizations
No Organizations you are following
Followees
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
Androidアプリの開発者。カスタムROMも自作したりしてる人。
No Organizations you are following
Coqなどによるプログラムの正しさの検証・証明に興味があります。
