Statistics
Total Visits
Name | Views |
---|---|
A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | 695 |
Total Visits per Month
Name | October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 |
---|---|---|---|---|---|---|---|
A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | 2 | 1 | 3 | 8 | 5 | 12 | 7 |
File Downloads
Name | Views |
---|---|
thesis.pdf | 903 |
Top Country Views
Name | Views |
---|---|
Canada | 177 |
United States | 42 |
China | 13 |
Sweden | 8 |
Germany | 4 |
Saudi Arabia | 3 |
Czech Republic | 2 |
United Kingdom | 2 |
India | 2 |
Russia | 2 |
Top City Views
Name | Views |
---|---|
Hamilton | 144 |
Des Moines | 12 |
Toronto | 7 |
Louisville | 6 |
San Mateo | 4 |
San Ramon | 4 |
Shanghai | 4 |
Ashburn | 3 |
Corner Brook | 3 |
Andover | 2 |