LoginSignup

株式会社proof ninja

ソフトウェアを数学的に証明する会社です。

For those interested in this Organization

  • @yoshihiro503

    224Contributions

    35Posts

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

  • @mimai

    0Contributions

    0Posts

1 / 1