Following Organizations
No Organizations you are following
Followees
- Matoba Kazumine@matoyan@github
Founder of Yamareco
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @bleis
くぁ
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- @kakutani
Hello, World.
