Statistics: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
Geo Map
Region
#
EU - Europe
5
AS - Asia, other
1
Total
6
Country
#
AT - Austria
2
IE - Ireland
2
DE - Germany
1
SG - Singapore
1
Total
6
City
#
Dublin
2
Vienna
2
Unknown
2
Total
6
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2023
0 0
0 0 2 0
0 2 0 1
0 0
5
2024
1 0
0 0 0 0
0 0 0 0
0 0
1
Ever
6
Geo Map
| Region | # |
|---|---|
| EU - Europe | 5 |
| AS - Asia, other | 1 |
| Total | 6 |
| Country | # |
|---|---|
| AT - Austria | 2 |
| IE - Ireland | 2 |
| DE - Germany | 1 |
| SG - Singapore | 1 |
| Total | 6 |
| City | # |
|---|---|
| Dublin | 2 |
| Vienna | 2 |
| Unknown | 2 |
| Total | 6 |
| Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2023 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 2 | 0 | 1 | 0 | 0 | 5 |
| 2024 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| Ever | 6 | ||||||||||||