Project Statistics: The Fine Structure of Formal Proof Systems and their Computational Interpretations
Geo Map
Region
#
EU - Europe
26
NA - North America
6
OC - Oceania
1
Total
33
Country
#
AT - Austria
20
US - United States of America
6
IE - Ireland
3
DE - Germany
2
AU - Australia
1
FR - France
1
Total
33
City
#
Vienna
11
Des Moines
6
Dublin
3
Melbourne
1
Unknown
12
Total
33
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2021
0 0
0 0 0 0
0 0 0 0
1 0
1
2022
1 1
0 0 0 0
9 0 0 1
4 0
16
2023
4 2
0 0 4 0
1 2 0 2
0 0
15
2024
0 1
0 0 0 0
0 0 0 0
0 0
1
Ever
33
Geo Map
| Region | # |
|---|---|
| EU - Europe | 26 |
| NA - North America | 6 |
| OC - Oceania | 1 |
| Total | 33 |
| Country | # |
|---|---|
| AT - Austria | 20 |
| US - United States of America | 6 |
| IE - Ireland | 3 |
| DE - Germany | 2 |
| AU - Australia | 1 |
| FR - France | 1 |
| Total | 33 |
| City | # |
|---|---|
| Vienna | 11 |
| Des Moines | 6 |
| Dublin | 3 |
| Melbourne | 1 |
| Unknown | 12 |
| Total | 33 |
| Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2021 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 |
| 2022 | 1 | 1 | 0 | 0 | 0 | 0 | 9 | 0 | 0 | 1 | 4 | 0 | 16 |
| 2023 | 4 | 2 | 0 | 0 | 4 | 0 | 1 | 2 | 0 | 2 | 0 | 0 | 15 |
| 2024 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| Ever | 33 | ||||||||||||