Following Organizations
No Organizations you are following
Following tags
No tags you are following
$ analyze @mrkbc
posted articles:
- Ethereum:80%
- Coq:60%
- OCaml:40%
- コンパイラ:20%
- スマートコントラクト:20%
answered questions:
- No data