Statistics
Total Visits
| Name | Views |
|---|---|
| Formalization of Biform Theories in Isabelle | 324 |
Total Visits per Month
| Name | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | June 2025 |
|---|---|---|---|---|---|---|---|
| Formalization of Biform Theories in Isabelle | 9 | 10 | 13 | 17 | 32 | 24 | 4 |
File Downloads
| Name | Views |
|---|---|
| Ray_Lekhani_2022October_MSc.pdf | 120 |
Top Country Views
| Name | Views |
|---|---|
| Canada | 139 |
| United States | 98 |
| China | 43 |
| Ukraine | 4 |
| Australia | 3 |
| Belgium | 3 |
| Brazil | 3 |
| Germany | 3 |
| Sweden | 3 |
| United Kingdom | 2 |
Top City Views
| Name | Views |
|---|---|
| Hamilton | 126 |
| San Mateo | 35 |
| Hangzhou | 25 |
| Cheyenne | 7 |
| Louisville | 7 |
| San Francisco | 7 |
| Beijing | 4 |
| Bochum | 3 |
| Falls Church | 3 |
| Mountain View | 3 |
