Statistics
Total Visits
| Views | |
|---|---|
| A ... | 47 |
Total Visits Per Month
| April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | |
|---|---|---|---|---|---|---|---|
| A ... | 2 | 3 | 0 | 4 | 2 | 0 | 1 |
File Visits
| Views | |
|---|---|
| A theory about first-order terms in ACL2.pdf | 34 |
Top country views
| Views | |
|---|---|
| United States | 22 |
| United Kingdom | 5 |
| Honduras | 5 |
| Singapore | 4 |
| Germany | 2 |
| Spain | 2 |
| Canada | 1 |
| France | 1 |
| Indonesia | 1 |
| Ireland | 1 |
Top cities views
| Views | |
|---|---|
| Tegucigalpa | 5 |
| Oakland | 4 |
| Ashburn | 3 |
| Fairfield | 3 |
| Atlanta | 2 |
| Des Moines | 1 |
| Dublin | 1 |
| Jakarta | 1 |
| New Castle | 1 |
| Ogden | 1 |