Free TON

About the Formal Methods Sub-Governance category

(Replace this first paragraph with a brief description of your new category. This guidance will appear in the category selection area, so try to keep it below 200 characters.)

Use the following paragraphs for a longer description, or to establish category guidelines or rules:

  • Why should people use this category? What is it for?

  • How exactly is this different than the other categories we already have?

  • What should topics in this category generally contain?

  • Do we need this category? Can we merge with another category, or subcategory?

This govdernance is intended to provide formal verification (as well, in some cases, informal audit) for the smart contracts being issued by the Free TON community.

The details about the technologies and methodogies can be found here: Formal Methods Sub-Governance Proposal