Statistik för Univalent Categories A formalization of category theory in Cubical Agda
Totalt antal besök
| views | |
|---|---|
| Univalent Categories A formalization of category theory in Cubical Agda | 244 |
Totalt antal besök per månad
| views | |
|---|---|
| June 2023 | 0 |
| July 2023 | 0 |
| August 2023 | 0 |
| September 2023 | 0 |
| October 2023 | 0 |
| November 2023 | 0 |
| December 2023 | 0 |
Nedladdningar
| views | |
|---|---|
| 256404.pdf | 437 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 58 |
| United States | 47 |
| Germany | 20 |
| United Kingdom | 16 |
| France | 15 |
| Poland | 12 |
| China | 10 |
| Italy | 9 |
| Canada | 7 |
| Denmark | 7 |
| Ireland | 6 |
| Russia | 6 |
| Netherlands | 5 |
| Brazil | 3 |
| Austria | 2 |
| Spain | 2 |
| Norway | 2 |
| Ukraine | 2 |
| Australia | 1 |
| Switzerland | 1 |
| Czechia | 1 |
| Finland | 1 |
| Greece | 1 |
| Hong Kong SAR China | 1 |
| India | 1 |
| Japan | 1 |
| Luxembourg | 1 |
| Romania | 1 |
| Singapore | 1 |
| Turkey | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Gothenburg | 27 |
| Des Moines | 9 |
| Uppsala | 7 |
| Ashburn | 6 |
| London | 5 |
| Berlin | 4 |
| Copenhagen | 4 |
| Lublin | 4 |
| Montreal | 4 |
| Stockholm | 4 |
| Chateaubourg | 3 |
| Leczna | 3 |
| Lindome | 3 |
| Lyon | 3 |
| Mountain View | 3 |
| Portland | 3 |
| Rio de Janeiro | 3 |
| Udine | 3 |
| Aarhus C | 2 |
| Amsterdam | 2 |
| Angered | 2 |
| Asti | 2 |
| Beijing | 2 |
| Boardman | 2 |
| Enkoeping | 2 |
| Galway | 2 |
| Islington | 2 |
| Menlo Park | 2 |
| Moelndal | 2 |
| Omsk | 2 |
| Pittsburgh | 2 |
| Riedstadt | 2 |
| Riegelsberg | 2 |
| Shijiazhuang | 2 |
| St Petersburg | 2 |
| The Hague | 2 |
| Avigliana | 1 |
| Baulkham Hills | 1 |
| Bedford | 1 |
| Brenzett | 1 |
| Buzau | 1 |
| Cachan | 1 |
| Cocconato | 1 |
| Cork | 1 |
| Dayton | 1 |
| Dnipro | 1 |
| Drammen | 1 |
| Dublin | 1 |
| Edinburgh | 1 |
| Fleury-les-Aubrais | 1 |
| Fort Qu'Appelle | 1 |
| Fort Worth | 1 |
| Gifu City | 1 |
| Grainau | 1 |
| Greater Noida | 1 |
| Gross-Gerau | 1 |
| Guidonia Montecelio | 1 |
| Haikou | 1 |
| Hasselby | 1 |
| Huddinge | 1 |
| Istanbul | 1 |
| Jaemjoe | 1 |
| Jönköping | 1 |
| Kongens Lyngby | 1 |
| Krakow | 1 |
| Minneapolis | 1 |
| Moscow | 1 |
| New York | 1 |
| Norrköping | 1 |
| Novosibirsk | 1 |
| Oberammergau | 1 |
| Oslo | 1 |
| Paris | 1 |
| Perchtoldsdorf | 1 |
| Reading | 1 |
| Rome | 1 |
| Santa Fe | 1 |
| Schaumburg | 1 |
| Simferopol | 1 |
| Singapore | 1 |
| South Norwood | 1 |
| Spokane | 1 |
| Stenungsund | 1 |
| Stockton | 1 |
| Södertälje | 1 |
| Tampere | 1 |
| Tarnowskie Gory | 1 |
| Thessaloniki | 1 |
| Vienna | 1 |
| Westfield | 1 |
| Wuhan | 1 |
| Wuxi | 1 |
| Wyckoff | 1 |
| Zlín | 1 |
| Zurich | 1 |
| Örebro | 1 |
| Łódź | 1 |