Statistics
Total Visits
| Views | |
|---|---|
| Proof ... | 57 |
Total Visits Per Month
| November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | |
|---|---|---|---|---|---|---|---|
| Proof ... | 1 | 0 | 1 | 0 | 4 | 1 | 4 |
File Visits
| Views | |
|---|---|
| Proof Pearl, a Formal Proof of Higman's Lemma in ACL2.pdf | 94 |
Top country views
| Views | |
|---|---|
| United States | 16 |
| Germany | 10 |
| United Kingdom | 10 |
| China | 4 |
| Spain | 4 |
| South Korea | 3 |
| France | 2 |
| Poland | 2 |
| Finland | 1 |
| Ireland | 1 |
Top cities views
| Views | |
|---|---|
| New York | 2 |
| Oakland | 2 |
| Ashburn | 1 |
| Des Moines | 1 |
| Dublin | 1 |
| Eygelshoven | 1 |
| Fairfield | 1 |
| Foshan | 1 |
| Haikou | 1 |
| Jaipur | 1 |