QinxiangCao/QualifiedCProgramming
QCP (Qualified C Programming), a C program verification tool
GitHub repository with 29 stars and 3 forks.
Language: Rocq Prover
24h trend summary
Trending score 0.49, freshness score 0.52, stars gained +0, forks gained +0.
Latest metric snapshot
2026-06-15: 29 stars and 3 forks.