株式会社proof ninja
ソフトウェアを数学的に証明する会社です。
For those interested in this Organization
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
