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.