Statistics for Using the Adelfa Proof Assistant to Construct Proofs of Programming Language Properties
Total visits
| views | |
|---|---|
| Using the Adelfa Proof Assistant to Construct Proofs of Programming Language Properties | 171 |
Total visits per month
| views | |
|---|---|
| October 2024 | 2 |
| November 2024 | 1 |
| December 2024 | 2 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 1 |
| April 2025 | 1 |
File Visits
| views | |
|---|---|
| luick_honors_thesis.pdf | 112 |
Top country views
| views | |
|---|---|
| United States | 100 |
| China | 18 |
| Italy | 9 |
| Germany | 6 |
| United Kingdom | 5 |
| Ireland | 3 |
| Australia | 2 |
| Sweden | 2 |
| Argentina | 1 |
| Canada | 1 |
| Spain | 1 |
| Japan | 1 |
| South Korea | 1 |
| Morocco | 1 |
| Malaysia | 1 |
| Philippines | 1 |
| Singapore | 1 |
Top city views
| views | |
|---|---|
| Minneapolis | 50 |
| Ashburn | 14 |
| Hangzhou | 8 |
| Vietri sul Mare | 8 |
| Saint Paul | 5 |
| Chicago | 3 |
| Dublin | 3 |
| New Haven | 3 |
| Beijing | 2 |
| Boardman | 2 |
| Hassocks | 2 |
| Neasden | 2 |
| Osceola | 2 |
| Soest | 2 |
| Andover | 1 |
| Anyang | 1 |
| Avon | 1 |
| Bandhagen | 1 |
| Brescia | 1 |
| Brisbane | 1 |
| Buffalo | 1 |
| Cambridge | 1 |
| Champaign | 1 |
| Cicero | 1 |
| Cottage Grove | 1 |
| Cushing | 1 |
| Des Moines | 1 |
| Eden Prairie | 1 |
| Faribault | 1 |
| General Santos | 1 |
| Granada | 1 |
| Grand Rapids | 1 |
| Haikou | 1 |
| Ipoh | 1 |
| Ludwigshafen am Rhein | 1 |
| Madison | 1 |
| Milwaukee | 1 |
| Munich | 1 |
| Philadelphia | 1 |
| Seoul | 1 |
| Shanghai | 1 |
| Singapore | 1 |
| Suqian | 1 |
| Tokyo | 1 |
| Tétouan | 1 |
| Vaudreuil-Dorion | 1 |
| Xinxiang | 1 |