Go to Qiita Advent Calendar Top
LoginSignup

@yoshihiro503

231Contributions
38
Posts153
Followees87
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(1)See all

proofninja

$ analyze @yoshihiro503

posted articles:
  • Coq:42%
  • OCaml:29%
  • ProofCafe:18%
  • Erlang:18%
  • ssreflect:16%
answered questions:
  • No data