A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Participating Organizations(1)
$ analyze @yoshihiro503
posted articles:
- Coq:42%
- OCaml:31%
- ProofCafe:19%
- Erlang:19%
- ssreflect:17%
answered questions:
- No data