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