Statistics for Formalizing Chemical Theory using the Lean Theorem Prover
Total visits
| views | |
|---|---|
| Formalizing Chemical Theory using the Lean Theorem Prover | 91 |
Total visits per month
| views | |
|---|---|
| June 2024 | 0 |
| July 2024 | 2 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 3 |
File Visits
| views | |
|---|---|
| 2210.12150.pdf | 43 |
| 2210.12150.pdf | 1 |
Top country views
| views | |
|---|---|
| United States | 78 |
| China | 3 |
| Germany | 2 |
| Ireland | 2 |
| Sweden | 2 |
| Belgium | 1 |
| Brazil | 1 |
| Canada | 1 |
| Netherlands | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 52 |
| 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 |