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