Statistics
Total Visits
Views | |
---|---|
A ... | 90 |
Total Visits Per Month
April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | |
---|---|---|---|---|---|---|---|
A ... | 4 | 4 | 1 | 5 | 2 | 2 | 0 |
File Visits
Views | |
---|---|
A Formal Proof of Dickson's Lemma in ACL2.pdf | 90 |
Top country views
Views | |
---|---|
United States | 33 |
United Kingdom | 11 |
Germany | 9 |
Netherlands | 7 |
China | 6 |
Sweden | 5 |
Singapore | 4 |
Spain | 3 |
Finland | 2 |
France | 2 |
Top cities views
Views | |
---|---|
Solna | 4 |
Des Moines | 3 |
Mountain View | 3 |
Ashburn | 2 |
Helsinki | 2 |
Louisville | 2 |
Oakland | 2 |
San Diego | 2 |
San Mateo | 2 |
Tappahannock | 2 |