Statistics for Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
Total visits
| views | |
|---|---|
| Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover | 367 |
Total visits per month
| views | |
|---|---|
| April 2025 | 3 |
| May 2025 | 8 |
| June 2025 | 10 |
| July 2025 | 8 |
| August 2025 | 1 |
| September 2025 | 5 |
| October 2025 | 0 |
File Visits
| views | |
|---|---|
| Gusakov_Alena.pdf | 863 |
| null | 6 |
| null | 3 |
Top country views
| views | |
|---|---|
| United States | 97 |
| Canada | 66 |
| United Kingdom | 26 |
| Germany | 20 |
| Hong Kong SAR China | 15 |
| Belgium | 12 |
| Singapore | 10 |
| Sweden | 4 |
| Vietnam | 4 |
| South Korea | 3 |
| Russia | 3 |
| China | 2 |
| France | 2 |
| Netherlands | 2 |
| Brazil | 1 |
| Switzerland | 1 |
| Egypt | 1 |
| Indonesia | 1 |
| Ireland | 1 |
| Iran | 1 |
| Norway | 1 |
Top city views
| views | |
|---|---|
| Waterloo | 49 |
| West Jordan | 18 |
| Boardman | 16 |
| Frankfurt am Main | 13 |
| Brussels | 11 |
| Hong Kong | 11 |
| Philadelphia | 10 |
| Singapore | 6 |
| Kitchener | 5 |
| Cambridge | 4 |
| Hanoi | 4 |
| Wilmington | 4 |
| Islington | 3 |
| London | 3 |
| Los Angeles | 3 |
| Montreal | 3 |
| Amsterdam | 2 |
| Berlin | 2 |
| Charlottesville | 2 |
| Milton | 2 |
| Mount Rainier | 2 |
| New York | 2 |
| Oxford | 2 |
| Prineville | 2 |
| Raleigh | 2 |
| Springfield | 2 |
| Toronto | 2 |
| Ashburn | 1 |
| Baltimore | 1 |
| Barnet | 1 |
| Berkeley | 1 |
| Boydton | 1 |
| Brampton | 1 |
| Bremblens | 1 |
| Calgary | 1 |
| Chiswick | 1 |
| College Park | 1 |
| Cricklewood | 1 |
| Daedeok-gu | 1 |
| Detroit | 1 |
| Deurne | 1 |
| Eastleigh | 1 |
| Falkirk | 1 |
| Fulham | 1 |
| Gallatin | 1 |
| Gif-sur-Yvette | 1 |
| Giza | 1 |
| Grand Blanc | 1 |
| Guelph | 1 |
| Harringay | 1 |
| Hennigsdorf | 1 |
| Incheon | 1 |
| Ithaca | 1 |
| Jakarta | 1 |
| Karlsruhe | 1 |
| Kilburn | 1 |
| Manchester | 1 |
| Munich | 1 |
| Newham | 1 |
| Nuremberg | 1 |
| Oslo | 1 |
| Palo Alto | 1 |
| Pittsburgh | 1 |
| Providence | 1 |
| Rocky River | 1 |
| Roscommon | 1 |
| Royal Leamington Spa | 1 |
| Sandston | 1 |
| Shanghai | 1 |
| Sheffield | 1 |
| Southwark | 1 |
| St. Marys | 1 |
| Stockholm | 1 |
| Stratford | 1 |
| São Paulo | 1 |
| Tehran | 1 |
| Winston-Salem | 1 |