The community has accepted the proposal to create a sub-governance aimed at contributing to the improvement of the software used in the Free TON network through formal verification methods.