Statistics for Formalizing Chemical Theory using the Lean Theorem Prover
Total visits
| views | |
|---|---|
| Formalizing Chemical Theory using the Lean Theorem Prover | 85 |
Total visits per month
| views | |
|---|---|
| November 2023 | 4 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 2 |
| April 2024 | 0 |
| May 2024 | 0 |
File Visits
| views | |
|---|---|
| 2210.12150.pdf | 22 |
| 2210.12150.pdf | 1 |
Top country views
| views | |
|---|---|
| United States | 73 |
| China | 3 |
| Germany | 2 |
| Ireland | 2 |
| Sweden | 2 |
| Brazil | 1 |
| Canada | 1 |
| Netherlands | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 51 |
| Baltimore | 10 |
| Halethorpe | 2 |
| Nyköping | 2 |
| Amsterdam | 1 |
| Freiburg im Breisgau | 1 |
| Hanover | 1 |
| Los Angeles | 1 |
| Owings Mills | 1 |
| Rio de Janeiro | 1 |
| Vancouver | 1 |