Statistics for Design and Implementation of Family Polymorphism for Interactive Theorem Proving
Total visits
views | |
---|---|
Design and Implementation of Family Polymorphism for Interactive Theorem Proving | 102 |
Total visits per month
views | |
---|---|
February 2024 | 2 |
March 2024 | 9 |
April 2024 | 15 |
May 2024 | 17 |
June 2024 | 16 |
July 2024 | 14 |
August 2024 | 0 |
File Visits
views | |
---|---|
Jin_Ende.pdf(legacy) | 95 |
Jin_Ende.pdf | 2 |
Top country views
views | |
---|---|
Canada | 31 |
United States | 20 |
Ireland | 13 |
Hong Kong SAR China | 9 |
Singapore | 7 |
Japan | 5 |
Iran | 3 |
Sweden | 3 |
Russia | 2 |
Switzerland | 1 |
China | 1 |
Indonesia | 1 |
India | 1 |
South Korea | 1 |
Taiwan | 1 |
Ukraine | 1 |
Top city views
views | |
---|---|
Waterloo | 28 |
Dublin | 13 |
Hong Kong | 7 |
Tokyo | 5 |
Singapore | 4 |
Boardman | 2 |
Toronto | 2 |
Ann Arbor | 1 |
Coeur d'Alene | 1 |
Jakarta | 1 |
Kitchener | 1 |
Kryvyi Rih | 1 |
Santa Clara | 1 |
Springfield | 1 |
Taipei | 1 |
Vijayawada | 1 |
Winston-Salem | 1 |