Go to Qiita Advent Calendar 2024 Top

@yoshihiro503

227Contributions

36
Posts 153
Followees 86
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)

Following Organizations(1)See all

Following tags(36)See all

$ analyze @yoshihiro503

posted articles:

Coq:42%
OCaml:31%
ProofCafe:19%
Erlang:19%
ssreflect:17%

answered questions:

No data

Articles Questions Likes

Posted Articles Commented Articles Edit Requests