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 281

Total visits per month

views
September 2024 0
October 2024 4
November 2024 5
December 2024 10
January 2025 6
February 2025 9
March 2025 0

File Visits

views
Gusakov_Alena.pdf(legacy) 477
Gusakov_Alena.pdf 125
null(legacy) 6
null(legacy) 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