Statistics
Total Visits
Views | |
---|---|
Proof ... | 75 |
Total Visits Per Month
February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | |
---|---|---|---|---|---|---|---|
Proof ... | 0 | 4 | 1 | 6 | 7 | 2 | 7 |
File Visits
Views | |
---|---|
Proof Pearl, a Formal Proof of Higman's Lemma in ACL2.pdf | 113 |
Top country views
Views | |
---|---|
United States | 21 |
Germany | 11 |
United Kingdom | 10 |
Singapore | 10 |
Spain | 5 |
China | 4 |
South Korea | 3 |
France | 2 |
Poland | 2 |
Finland | 1 |
Top cities views
Views | |
---|---|
New York | 2 |
Oakland | 2 |
Ashburn | 1 |
Des Moines | 1 |
Dublin | 1 |
Espartinas | 1 |
Eygelshoven | 1 |
Fairfield | 1 |
Foshan | 1 |
Haikou | 1 |