!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

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

Some error has occurred. Could not find event

Back to Room List