Go to Qiita Advent Calendar 2024 Top
LoginSignup

株式会社proof ninja

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

For those interested in this Organization

  • @yoshihiro503

    227Contributions

    36Posts

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

  • @mimai

    0Contributions

    0Posts