The Libraries will be performing routine maintenance on UWSpace on October 20th, 2025, from 10:00-10:30 pm ET. UWSpace will be unavailable during this time. Service should resume by 10:30 pm ET.

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 857
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