> What is the FOSDEM community's answer to the real concerns that these changes pose ?
I only caught half a dozen talks, and two of them talked about this exact point.
I only caught half a dozen talks, and two of them talked about this exact point.
- Formal verification in Rocq, an exhaustive testing.