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