Statistics for Formalizing Probability Concepts in a Type Theory

Total visits

views
Formalizing Probability Concepts in a Type Theory 895

Total visits per month

views
June 2023 0
July 2023 0
August 2023 0
September 2023 0
October 2023 0
November 2023 0
December 2023 0

File Visits

views
Published online.pdf(legacy) 583
Published online.pdf 10

Top country views

views
New Zealand 466
United States 300
France 38
Ireland 14
China 13
Australia 9
Sweden 6
India 5
Singapore 5
United Kingdom 3
Russia 3
Canada 2
Germany 2
Iran 2
South Korea 2
Pakistan 2
Romania 2
Ukraine 2
A1 1
Czechia 1
Greece 1
Hungary 1
Malaysia 1
Netherlands 1
Turkey 1

Top city views

views
Auckland 461
Ashburn 93
Fairfax 41
Buffalo 33
Chicago 20
Redwood City 18
Dublin 14
Louisville 11
Sydney 9
Stockholm 6
Changi 5
San Diego 4
Seattle 4
Bhiwadi 3
Alameda 2
Andover 2
Beijing 2
Boardman 2
Dunedin 2
Faisalabad 2
Mountain View 2
Philadelphia 2
Toronto 2
Wellington 2
Woodbridge 2
Ann Arbor 1
Arkhangelsk 1
Buftea 1
Chandler 1
Des Moines 1
Evanston 1
Galati 1
Guangzhou 1
Kuala Lumpur 1
Luton 1
Miami 1
Norwalk 1
Phoenix 1
Portland 1
Rostov-on-don 1
Saint Petersburg 1
San Jose 1
Stambul 1
Suwon 1
Temecula 1
Vólos 1
Yazd 1