!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

316 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

427 users have interacted with this room.
Page 6
MXIDAvatarDisplay NamePower Level
@dsanan:matrix.org@dsanan:matrix.orgdsananUser(0)
@dteiml:matrix.org@dteiml:matrix.orgdteimlUser(0)
@dtzWill:matrix.org@dtzWill:matrix.orgdtzUser(0)
@dude:ggc-project.de@dude:ggc-project.dedudeUser(0)
@dulanov:matrix.org@dulanov:matrix.orgdulanovUser(0)
@_slack_runtimeverification_U5GE6G57G:matrix.org@_slack_runtimeverification_U5GE6G57G:matrix.orgdwight.guthUser(0)
@xvwx:matrix.dapp.org.uk@xvwx:matrix.dapp.org.ukdxoUser(0)
@ealmansi:matrix.org@ealmansi:matrix.orgealmansiUser(0)
@echo-mg:matrix.org@echo-mg:matrix.orgecho-mgUser(0)
@egeas:asra.gr@egeas:asra.gregeasUser(0)
@ehildenb:matrix.org@ehildenb:matrix.orgehildenbUser(0)
@ehlidenb:matrix.org@ehlidenb:matrix.orgehlidenbUser(0)
@enchido:matrix.org@enchido:matrix.orgenchidoUser(0)
@end0rphin:matrix.org@end0rphin:matrix.orgend0rphinUser(0)
@enrique:matrix.valenciawireless.org@enrique:matrix.valenciawireless.orgenriqueUser(0)
@lev:matrix.org@lev:matrix.orgequivrelUser(0)
@_slack_runtimeverification_U022V9UGXGA:matrix.org@_slack_runtimeverification_U022V9UGXGA:matrix.orgerik.kanedaUser(0)
@ethme:matrix.org@ethme:matrix.orgethmeUser(0)
@_slack_runtimeverification_U8T2RJ802:matrix.org@_slack_runtimeverification_U8T2RJ802:matrix.orgeverett.hildenbrandtUser(0)
@everett.hildenbrandt:matrix.org@everett.hildenbrandt:matrix.orgeverett.hildenbrandtUser(0)