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 108

Total visits per month

views
April 2025 0
May 2025 1
June 2025 0
July 2025 0
August 2025 0
September 2025 1
October 2025 1

File Visits

views
Jin_Ende.pdf 201

Top country views

views
Canada 31
United States 20
Ireland 13
Hong Kong SAR China 9
Singapore 7
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