A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
$ analyze @yoshihiro503
posted articles:
- Coq:43%
- OCaml:29%
- Erlang:20%
- ProofCafe:20%
- ssreflect:17%
answered questions:
- No data