Statistics
Total Visits
| Views | |
|---|---|
| Student proof exercises using MathsTiles and isabelle/HOL in an intelligent book | 1708 |
Total Visits per Month
| July 2024 | August 2024 | September 2024 | October 2024 | November 2024 | December 2024 | January 2025 | |
|---|---|---|---|---|---|---|---|
| Student proof exercises using MathsTiles and isabelle/HOL in an intelligent book | 10 | 34 | 8 | 12 | 2 | 12 | 2 |
File Downloads
| Views | |
|---|---|
| SOURCE02.pdf | 406 |
Top Country Views
| Views | |
|---|---|
| Australia | 1400 |
| United States | 158 |
| China | 12 |
| Germany | 12 |
| United Kingdom | 8 |
| France | 6 |
| Ireland | 6 |
| Argentina | 2 |
| Bulgaria | 2 |
| Canada | 2 |
Top City Views
| Views | |
|---|---|
| Armidale | 788 |
| Melbourne | 216 |
| Yeronga | 180 |
| Ashburn | 54 |
| San Mateo | 14 |
| Alameda | 12 |
| Canberra | 10 |
| Mountain View | 10 |
| Louisville | 8 |
| Shanghai | 8 |