Following Organizations
No Organizations you are following
Followees
- Makoto Abe@m0a
https://taiyaq.com エンジニア向けの翻訳(対訳)共有サービス Taiyaqを作っています。
- @zen3324
ぷろぐらまーです
- @bleis
くぁ
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- @adamrocker
GDE(ML)
No Organizations you are following
https://taiyaq.com エンジニア向けの翻訳(対訳)共有サービス Taiyaqを作っています。
ぷろぐらまーです
くぁ
Coqなどによるプログラムの正しさの検証・証明に興味があります。
GDE(ML)