FOSDEM 2026

Feedback for “Formal Verification in Rocq, an Exhaustive Testing” By Guillaume Claret
Sun 16:25-16:50, H.2213

Please answer the next questions regarding you and your personal perception of the talk under discussion. If you don't want to answer a particular question, just leave it as it is. Please take the time and communicate your feedback in a constructive way.

How important is this topic for this conference?
What is your impression of the quality of the content?
What is your impression of the presentation?