Following Organizations
No Organizations you are following
Following tags
No tags you are following
$ analyze @mrkbc
posted articles:
- Coq:75%
- Ethereum:50%
- rocq:50%
- OCaml:38%
- コンパイラ:13%
answered questions:
- No data