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