!MfVXcmpKuyudZHcqil:matrix.org

The K Framework User Group

308 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

Some error has occurred. Could not find event

Back to Room List