Welcome to a World of Rocq
Rocq is a general-purpose, industrial-strength interactive theorem prover.
Total Visits
Avg. Visit Duration
Pages per Visit
Bounce Rate
Registration Date
Month | Traffic |
---|---|
2025-02 | 2.07 |
2025-03 | 9.485 |
2025-04 | 34.562 |
2025-05 | 47.32 |
Source | Traffic Share |
---|---|
direct | 56.38% |
search | 25.11% |
referrals | 11.64% |
social | 5.00% |
paid referrals | 0.95% |
0.08% |
Region | Percentage |
---|---|
CH | 35.28% |
United States | 22.27% |
Germany | 11.03% |
Canada | 4.94% |
United Kingdom | 3.68% |
Keyword | Traffic | Volume | CPC |
---|---|---|---|
rocq | 125 | 1,250 | $0.00 |
roq lang inria | 0 | 0 | $0.00 |
structurally decreasing fixpoint | 3 | 30 | $0.00 |
shruthi narayanan full porn | 22 | 220 | $0.00 |
ada proof assistant | 0 | 0 | $0.00 |