Wed. Jun 16th, 2021

The proposal to create a Formal Methods Subgovernance has been accepted