Rocq Conferences
We list upcoming Rocq conferences and provide resources from past Rocq conferences, such as slides or video recordings of the talks.
We list upcoming Rocq conferences and provide resources from past Rocq conferences, such as slides or video recordings of the talks.