Following Organizations
No Organizations you are following
Followees
- @peccul
ねこが好きです．Emacs, zsh, mac
- Ishikawa Takaaki@takaxp
An Orger
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
No Organizations you are following
ねこが好きです．Emacs, zsh, mac
An Orger
Coqなどによるプログラムの正しさの検証・証明に興味があります。