@ryo-miyaji@github

0Contributions
0
Posts4
Followees2
Followers

Following Organizations

No Organizations you are following

Followees

  • @yoshihiro503

    A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

  • @gab_km

    ほげぽよ～

  • @bleis

    くぁ

  • MIZUNO Hiroki@mzp

    Coqなどによるプログラムの正しさの検証・証明に興味があります。