Starred repositories
11
results
for source starred repositories
written in Rocq Prover
Clear filter
The CompCert formally-verified C compiler
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Randomized Property-Based Testing Plugin for Coq
A formalization of geometry in Coq based on Tarski's axiom system
A minimalistic blockchain consensus implemented and verified in Coq