Login
From:
formal.land
(Uncensored)
subscribe
🦄 Short introduction to Rocq | Formal Land
https://formal.land/blog/2025/08/11/quick-rocq-in-a-hurry
links
backlinks
Tagged with:
introduction
formal verification
rocq
In this blog post, we present a short introduction to Rocq, a formal verification system, as a summary of the guide Rocq in a Hurry from Yves Bertot of the Rocq team.
Roast topics
Find topics
Find it!
