Following Organizations
No Organizations you are following
Followees
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- @shot6
お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。
- @kakutani
Hello, World.
No Organizations you are following
Haskellプログラマです。
Coqなどによるプログラムの正しさの検証・証明に興味があります。
お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。
Hello, World.