Wed. Apr 14th, 2021

Formal Methods Sub-Governance Proposal

The proposal is to create a Sub-Management of formal methods (ForMet SG) for Free TON.

The mission is to facilitate the improvement of the software used on the FreeTON network by using formal verification methods.

The vision is to make Free TON more secure and robust, and thus to enhance the Free TON ecosystem and expand the Free TON community.

You can discuss the proposal on the forum