Jue. Jul 29th, 2021

    Métodos Formales Propuesta De Sub-Gobernanza

    La propuesta es crear una Sub-gestión de métodos formales (ForMet SG) Para Free TON.

    La misión es facilitar la mejora de los programas informáticos utilizados en la red Free TON mediante el uso de métodos formales de verificación.

    La visión es hacer que el Free TON sea más seguro y robusto, y así mejorar el ecosistema Free TON y expandir la comunidad Free TON.

    Puede discutir la propuesta en el foro