We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Rocq'n'share 2025 (markdown)
registration
Add Vojtěch Štěpančík to the list of attendees