Go to Qiita Advent Calendar 2024 Top
LoginSignup

@yoshihiro503

227Contributions
36
Posts153
Followees86
Followers

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

Site/Bloghttp://proofcafe.org/~yoshihiro503/
Location

Japan

Organization

株式会社proof ninja, 名古屋大学

Participating Organizations(1)

proofninja

Following Organizations

Find Organizations to follow

Search Organizations