Solispidy
EVM programming language that allows you to create compile time assertions checked by a sophisticated theorem prover
EVM programming language that allows you to create compile time assertions checked by a sophisticated theorem prover
Log in or sign up for Devpost to join the conversation.