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 | |
---|---|
December 2022 | 0 |
January 2023 | 0 |
February 2023 | 0 |
March 2023 | 0 |
April 2023 | 0 |
May 2023 | 0 |
June 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 |