Total Visits

Views
Programming and proving with classical types86

Total Visits Per Month

May 2020June 2020July 2020August 2020September 2020October 2020November 2020
Programming and proving with classical types2612337

File Downloads

Views
aplas-2017.pdf95

Top country views

Views
United States39
United Kingdom17
Germany9
France5
China3
Australia1
Belarus1
Denmark1
Finland1
Hong Kong1

Top cities views

Views
Ashburn23
Fairfield10
Oakland3
Adelaide1
Ballerup1
Beijing1
Central District1
Collingswood1
Hangzhou1
Helsinki1