Total Visits

Views
Proof-term ...(legacy)384
Proof-term ...183

Total Visits Per Month

November 2020December 2020January 2021February 2021March 2021April 2021May 2021
Proof-term ...4332382900

File Visits

Views
tstp2agda.pdf(legacy)469
tstp2agda.pdf43

Top country views

Views
United States268
Germany77
France52
Colombia34
China24
Poland19
United Kingdom18
Netherlands17
Mexico8
Italy7

Top cities views

Views
Sunnyvale28
Medellín25
Indianapolis20
Kraków19
Mountain View15
Beijing13
Boardman10
Manzanillo8
Ann Arbor6
Mcallen6