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