Statistics for Formalizing Chemical Theory using the Lean Theorem Prover
Total visits
| views | |
|---|---|
| Formalizing Chemical Theory using the Lean Theorem Prover | 105 |
Total visits per month
| views | |
|---|---|
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 3 |
| January 2025 | 5 |
| February 2025 | 7 |
| March 2025 | 2 |
| April 2025 | 0 |
File Visits
| views | |
|---|---|
| 2210.12150.pdf | 59 |
| 4e4ce54f-8f68-4a4c-8567-ca18980f0508 | 1 |
Top country views
| views | |
|---|---|
| United States | 92 |
| China | 3 |
| Germany | 2 |
| Ireland | 2 |
| Sweden | 2 |
| Belgium | 1 |
| Brazil | 1 |
| Canada | 1 |
| Netherlands | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 66 |
| Baltimore | 10 |
| Halethorpe | 2 |
| Newark | 2 |
| Nyköping | 2 |
| Amsterdam | 1 |
| Freiburg im Breisgau | 1 |
| Ghent | 1 |
| Hanover | 1 |
| Los Angeles | 1 |
| Owings Mills | 1 |
| Rio de Janeiro | 1 |
| Vancouver | 1 |
| West Lafayette | 1 |