epfl-lara / smart

Verification and Generation of Smart Contracts using Stainless and Scala
35Updated 4 years ago

Alternatives and similar repositories for smart:

Users that are interested in smart are comparing it to the libraries listed below