Statistics
Total Visits
Name | Views |
---|---|
A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | 758 |
Total Visits per Month
Name | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 |
---|---|---|---|---|---|---|---|
A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | 12 | 10 | 7 | 7 | 11 | 24 | 11 |
File Downloads
Name | Views |
---|---|
thesis.pdf | 952 |
Top Country Views
Name | Views |
---|---|
Canada | 210 |
United States | 57 |
China | 14 |
Sweden | 8 |
Japan | 7 |
Germany | 4 |
Argentina | 3 |
United Kingdom | 3 |
Saudi Arabia | 3 |
Australia | 2 |
Top City Views
Name | Views |
---|---|
Hamilton | 172 |
Des Moines | 12 |
Toronto | 7 |
Louisville | 6 |
Tokyo | 6 |
San Mateo | 4 |
San Ramon | 4 |
Shanghai | 4 |
Ashburn | 3 |
Beijing | 3 |