INRIA / Coq development team
Statistics
Total Applications:
1
Total Users:
29
Total Keys:
1,163,040
Total Clicks:
59,318
Total Mouse Scrolls:
0
Total Time Used:
1w5d13h57m38s
Average Time Per User:
10h24m45s
Input Distribution
| Rank | Application | Used By | Time Used | Keys | Clicks |
|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|