A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Participating Organizations(1)
Following Organizations(1)See all
Following Organizations
- 株式会社proof ninja
ソフトウェアを数学的に証明する会社です。
Find Organizations to follow
Search Organizations