Help us understand the problem. What are the problem?
@yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

Japan

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

Participating Organizations

No Organizations you are following

$ analyze @yoshihiro503

posted articles:
  • Coq:
    44%
  • OCaml:
    25%
  • Erlang:
    22%
  • ProofCafe:
    22%
  • ssreflect:
    19%
answered questions:
  • No data