!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 11
MXIDAvatarDisplay NamePower Level
@_slack_runtimeverification_U0231EMRYF6:matrix.org@_slack_runtimeverification_U0231EMRYF6:matrix.orgmax.kopinskyUser(0)
@mbrock:matrix.org@mbrock:matrix.orgmbrockUser(0)
@mehmetoguzderin:matrix.org@mehmetoguzderin:matrix.orgmehmetoguzderinUser(0)
@melastone:matrix.org@melastone:matrix.orgmelastoneUser(0)
@mercury_sky:matrix.org@mercury_sky:matrix.orgmercury_skyUser(0)
@meyer:poddery.com@meyer:poddery.commeyerUser(0)
@mhhf:matrix.org@mhhf:matrix.orgmhhfUser(0)
@mickronome:matrix.org@mickronome:matrix.orgmickronomeUser(0)
@mikerah:matrix.org@mikerah:matrix.orgmikerahUser(0)
@milad_ketabi:matrix.org@milad_ketabi:matrix.orgmilad_ketabiUser(0)
@minhv:matrix.org@minhv:matrix.orgminhvUser(0)
@mongomat:matrix.org@mongomat:matrix.orgmongomatUser(0)
@montyly:matrix.org@montyly:matrix.orgmontylyUser(0)
@mrchico:matrix.org@mrchico:matrix.orgmrchicoUser(0)
@_slack_runtimeverification_U7GE60EBY:matrix.org@_slack_runtimeverification_U7GE60EBY:matrix.orgmsaxena2User(0)
@_slack_runtimeverification_UC2RHBDU0:matrix.org@_slack_runtimeverification_UC2RHBDU0:matrix.orgmusab.alturkiUser(0)
@rona06:matrix.org@rona06:matrix.orgna ro (rona)User(0)
@nartir:linuxgaming.life@nartir:linuxgaming.lifenartirUser(0)
@natmac:mental.af@natmac:mental.afnatmacUser(0)
@ngallego:matrix.org@ngallego:matrix.orgngallegoUser(0)