mer. Août 4th, 2021

    Proposition de Sous-Gouvernance des méthodes formelles

    La proposition est de créer une sous-gestion des méthodes formelles (ForMet SG) pour Free TON.

    La mission est de faciliter l’amélioration du logiciel utilisé sur le réseau FreeTON en utilisant des méthodes de vérification formelles.

    La vision est de rendre Free TON plus sûr et robuste, et donc d’améliorer l’écosystème Free TON et d’élargir la communauté Free TON.

    Vous pouvez discuter de la proposition sur le forum