GitHub intelligence
formal-land
1 repository1,168 stars in totalTop language Rocq ProverGitHub profile ↗
| Repository | Language | Stars | 30D Change | Activity | Trend |
|---|---|---|---|---|---|
| Rocq Prover | 1.2K | Collectingfrom NOV 1 |
GitHub intelligence
1 repository1,168 stars in totalTop language Rocq ProverGitHub profile ↗
| Repository | Language | Stars | 30D Change | Activity | Trend |
|---|---|---|---|---|---|
| Rocq Prover | 1.2K | Collectingfrom NOV 1 |