株式会社proof ninja

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

For those interested in this Organization

  • @yoshihiro503

    239Contributions

    43Posts

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

  • @mimai

    0Contributions

    0Posts