!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

317 Members
The K Framework (kframework.org) and its applications to smart contracts.  EVM: github.com/kframework/evm-semantics Viper: github.com/kframework/viper-semantics45 Servers

428 users have interacted with this room.
Page 14
MXIDAvatarDisplay NamePower Level
@_slack_runtimeverification_U03BKBVPHT4:matrix.org@_slack_runtimeverification_U03BKBVPHT4:matrix.orgsam.balcoUser(0)
@sashaf:matrix.org@sashaf:matrix.orgsashafUser(0)
@sbugrara:matrix.org@sbugrara:matrix.orgsbugraraUser(0)
@sdasgup3:matrix.org@sdasgup3:matrix.orgsdasgup3User(0)
@_slack_runtimeverification_UCFGFCRPB:matrix.org@_slack_runtimeverification_UCFGFCRPB:matrix.orgsdasgup3User(0)
@sharma:diasp.in@sharma:diasp.insharmaUser(0)
@shas19:matrix.org@shas19:matrix.orgshubham ugareUser(0)
@sirinath:matrix.org@sirinath:matrix.orgsirinathUser(0)
@sjmackenzie:matrix.org@sjmackenzie:matrix.orgsjmUser(0)
@snowflake100:matrix.org@snowflake100:matrix.orgsnowflake100User(0)
@softwarem:matrix.org@softwarem:matrix.orgsoftwaremUser(0)
@stakehub.io:matrix.org@stakehub.io:matrix.orgstakehub.ioUser(0)
@_slack_runtimeverification_UPMF10BFF:matrix.org@_slack_runtimeverification_UPMF10BFF:matrix.orgstephen.skeirikUser(0)
@stevenkkok:matrix.org@stevenkkok:matrix.orgstevenkkokUser(0)
@_slack_runtimeverification_UHV7DMRPS:matrix.org@_slack_runtimeverification_UHV7DMRPS:matrix.orgsuhabeUser(0)
@suhabe.bugrara:matrix.org@suhabe.bugrara:matrix.orgsuhabe.bugraraUser(0)
@suriyawutkhongprom:matrix.org@suriyawutkhongprom:matrix.orgsuriyawutkhongphrmUser(0)
@taa919:matrix.org@taa919:matrix.orgtaa919User(0)
@tannr:matrix.org@tannr:matrix.orgtannrUser(0)
@taylorine:utwente.io@taylorine:utwente.iotaylorineUser(0)