A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
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