Smart-Contract-Modelling-uOttawa / Symboleo-IDE

An IDE for Symboleo, a formal contract specification language.
18Updated last month

Related projects

Alternatives and complementary repositories for Symboleo-IDE