Mon. Oct 25th, 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