About the Scilla - Smart contract language category


Discuss Scilla contracts, standards and tools here!

This category is for Scilla related topics.

Discussion can be around but not limited to:

  • Scilla contract standards proposals (e.g ZSP1)
  • Scilla checker modules (e.g. Cash flow analysis)
  • Formal verification

Please observe the forum guidelines as shown below:

  • Be respectful, nice, erudite and fun. In return, you’ll get an awesome community that you deserve.
  • Please post only in the correct category and do not divert topic by changing it midstream.
  • Please do try your best to avoid duplicate posts by scanning the forum before posting.
  • Posting on this site is accepting releasing your submitted content into the public domain.

closed #2