LoginSignup

@yoshihiro503

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

location_on

Japan

work

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

Participating Organizations

proofninja

Following Organizations

No Organizations you are following

$ analyze @yoshihiro503

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