 | ERC20-K | 23 Members |
| Formal Executable Specification of ERC20 in K (Blog: https://runtimeverification.com/blog/?p=496 , Github: https://github.com/runtimeverification/erc20-semantics) | 2 Servers |
| ERC20-K | 23 Members |
| Formal Executable Specification of ERC20 in K (Blog: https://runtimeverification.com/blog/?p=496 , Github: https://github.com/runtimeverification/erc20-semantics) | 2 Servers |
| Server | Number of Users in this Room |
|---|---|
 gitter.im | 17 |
 matrix.org | 6 |