!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 12
MXIDAvatarDisplay NamePower Level
@nicoarqueros:matrix.org@nicoarqueros:matrix.orgnicoarquerosUser(0)
@niconaus:matrix.org@niconaus:matrix.orgniconausUser(0)
@niels:chat.datenburg.org@niels:chat.datenburg.orgnielsUser(0)
@niggerius:matrix.freyachat.eu@niggerius:matrix.freyachat.euniggeriusUser(0)
@nimrodlibman:matrix.org@nimrodlibman:matrix.orgnimrodlibmanUser(0)
@_slack_runtimeverification_U99TYNSG3:matrix.org@_slack_runtimeverification_U99TYNSG3:matrix.orgnishantjrUser(0)
@nitarek:matrix.org@nitarek:matrix.orgnitarekUser(0)
@nsward:matrix.org@nsward:matrix.orgnswardUser(0)
@oanaa:matrix.org@oanaa:matrix.orgoana.andreiUser(0)
@olmvnec:tedomum.net@olmvnec:tedomum.netolmvnecUser(0)
@ookfof:ru-matrix.org@ookfof:ru-matrix.orgookfofUser(0)
@p.henning:matrix.org@p.henning:matrix.orgp.henningUser(0)
@palinatolmach:matrix.org@palinatolmach:matrix.orgpalinatolmachUser(0)
@_slack_runtimeverification_U980VHYGY:matrix.org@_slack_runtimeverification_U980VHYGY:matrix.orgpatrick.mackayUser(0)
@paulus:netzgemeinde.eu@paulus:netzgemeinde.eupaulusUser(0)
@peter:chat.weho.st@peter:chat.weho.stpeterUser(0)
@pikax:matrix.org@pikax:matrix.orgpikaxUser(0)
@pitometsu:matrix.org@pitometsu:matrix.orgpitometsuUser(0)
@playback2396:matrix.org@playback2396:matrix.orgplayback2396User(0)
@plumenator:matrix.org@plumenator:matrix.orgplumenatorUser(0)