!gZdFCIkxqwMkxETrtW:matrix.org

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

26 users have interacted with this room.
Page 1
MXIDAvatarDisplay NamePower Level
@Grigore:matrix.org@Grigore:matrix.orgGrigoreAdmin(100)
@slackbot:matrix.org@slackbot:matrix.orgSlack IntegrationAdmin(100)
@_slack_runtimeverification_U5FNFKKC5:matrix.org@_slack_runtimeverification_U5FNFKKC5:matrix.orggrigore.rosuAdmin(100)
@kikimora-5c3e6bf9d73408ce4fb4dd94:gitter.im@kikimora-5c3e6bf9d73408ce4fb4dd94:gitter.imKikimora (Andrey Verbin)User(0)
@mental-image-5a1df2d3d73408ce4f80c083:gitter.im@mental-image-5a1df2d3d73408ce4f80c083:gitter.imMental-Image (ad1s)User(0)
@nicoarqueros_twitter-5b87f63bd73408ce4fa65d07:gitter.im@nicoarqueros_twitter-5b87f63bd73408ce4fa65d07:gitter.imNicoArqueros_twitter (Nicolás Arqueros)User(0)
@pitometsu-54a67de5db8155e6700e4e7d:gitter.im@pitometsu-54a67de5db8155e6700e4e7d:gitter.imPitometsu (Yuriy Pitomets)User(0)
@preetam007-56a5fb8de610378809be1158:gitter.im@preetam007-56a5fb8de610378809be1158:gitter.imPreetam007 (Preetam)User(0)
@bassrehab_twitter-59948535d73408ce4f71aa82:gitter.im@bassrehab_twitter-59948535d73408ce4f71aa82:gitter.imbassrehab_twitter (Subhadip M)User(0)
@d8bhatta_twitter-5bff8a5ad73408ce4fb06830:gitter.im@d8bhatta_twitter-5bff8a5ad73408ce4fb06830:gitter.imd8bhatta_twitter (Deepak Bhatta)User(0)
@ethme:matrix.org@ethme:matrix.orgethmeUser(0)
@frankleeman:matrix.org@frankleeman:matrix.orgfrankleemanUser(0)
@gitter-badger:gitter.im@gitter-badger:gitter.imgitter-badger (The Gitter Badger)User(0)
@liuyong5653-5e942e0fd73408ce4fe03cc9:gitter.im@liuyong5653-5e942e0fd73408ce4fe03cc9:gitter.imliuyong5653 (liuyong5653)User(0)
@malefizer:matrix.org@malefizer:matrix.orgmalefizerUser(0)
@masonvsculture_twitter-5af15f1ed73408ce4f9880ea:gitter.im@masonvsculture_twitter-5af15f1ed73408ce4f9880ea:gitter.immasonvsculture_twitter (Mason Hastie)User(0)
@matrixbot-56bb7a56e610378809c0cb2c:gitter.im@matrixbot-56bb7a56e610378809c0cb2c:gitter.immatrixbot (matrixbot)User(0)
@philippecamacho-5839dac7d73408ce4f38cecd:gitter.im@philippecamacho-5839dac7d73408ce4f38cecd:gitter.imphilippecamacho (Philippe Camacho)User(0)
@rolandkofler-543be8b1db8155e6700cb0be:gitter.im@rolandkofler-543be8b1db8155e6700cb0be:gitter.imrolandkofler (Roland Kofler)User(0)
@snpdpy-6036193a6da037398462f1fe:gitter.im@snpdpy-6036193a6da037398462f1fe:gitter.imsnpdpy (snpdpy)User(0)