Search Rocq packages
Standard Library
Learn
Platform
Packages
Community
Consortium
News
Play
Get Started
Search Rocq packages
Learn
Platform
Packages
Community
Consortium
News
Play
Standard Library
Get started
News
Changelog
Rocq Planet
Newsletters
▾
Changelog
Rocq Planet
Newsletters
News
RSS
The latest news from the Rocq teams.
Platform Newsletter: Jan 2025
Monthly update from the Rocq Platform team.
2025-01-20
Contribute to rocq-prover.org: Here's How You Can Participate
Share Your Projects, Insights, and Opportunities on rocq-prover.org!
2024-12-25
ACM SIGPLAN Programming Languages Software and Software System Awards
Announcement of ACM award
2013-06-20