Statistics
Total Visits
| Views | |
|---|---|
| Verification ... | 109 |
Total Visits Per Month
| April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | |
|---|---|---|---|---|---|---|---|
| Verification ... | 1 | 2 | 3 | 1 | 13 | 0 | 0 |
File Visits
| Views | |
|---|---|
| Verification in ACL2 of a Generic Framework.pdf | 39 |
Top country views
| Views | |
|---|---|
| United States | 29 |
| Germany | 22 |
| Sweden | 16 |
| Singapore | 13 |
| United Kingdom | 10 |
| China | 7 |
| Spain | 2 |
| India | 2 |
| Poland | 2 |
| Slovenia | 2 |
Top cities views
| Views | |
|---|---|
| Solna | 12 |
| West Palm Beach | 7 |
| Oakland | 3 |
| Changi | 2 |
| Nanjing | 2 |
| Ashburn | 1 |
| Atlanta | 1 |
| Cáceres | 1 |
| Des Moines | 1 |
| Dublin | 1 |