Blog
The Rocq Planet
Articles and videos contributed by both experts, companies and passionate developers from the Rocq community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the Rocq Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
25 Years of OCaml: Xavier Leroy
Professor Xavier Leroy -- the primary original author and leader of the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop 2021 keynote speech.
Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq
Presentation at POPL'20
