Following Organizations
No Organizations you are following
Following tags
No tags you are following
$ analyze @mrkbc
posted articles:
- Coq:71%
- Ethereum:57%
- rocq:43%
- OCaml:29%
- コンパイラ:14%
answered questions:
- No data