39
7
127
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Rocq Prover Topics
Latest Mentions
Latest mentioned Rocq Prover repos
| Stars | Project |
|---|---|
| 1 | yang-mills-mass-gap |
| 0 | void-theory |
| 1 | theory-of-systems-coq |
| 92 | BRiCk |
| 2,184 | CompCert |
| 131 | vericuda |
| 358 | jasmin |
| 170 | certirocq |
| 83 | ssprove |
| 1,125 | rocq-of-rust |
| 70 | aws-lc-verification |
| 1,387 | Coq-HoTT |
| 683 | math-comp |
| 624 | verdi |
| 370 | Coq-BB5 |
| 242 | fourcolor |
| 1,697 | stalin-sort |
| 167 | kami |
| 310 | proofs |
| 118 | riscv-coq |
Latest Discoveries
Latest discovered Rocq Prover repos
| Stars | Project |
|---|---|
| 1 | yang-mills-mass-gap |
| 92 | BRiCk |
| 1 | theory-of-systems-coq |
| 131 | vericuda |
| 0 | void-theory |
| 170 | certirocq |
| 83 | ssprove |
| 70 | aws-lc-verification |
| 624 | verdi |
| 1,125 | rocq-of-rust |
| 370 | Coq-BB5 |
| 118 | riscv-coq |
| 244 | analysis |
| 683 | math-comp |
| 1,009 | UniMath |
| 358 | jasmin |
| 40 | cps |
| 37 | aneris |
| 310 | proofs |
| 67 | rupicola |
Recently updated posts
-
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
-
Show HN: Neural network that uses no floating-point and says "I don't know"
-
Show HN: A verified foundation of mathematics in Coq (Theory of Systems)
-
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
-
Show HN: Cuq – Formal Verification of Rust GPU Kernels