Project Statistics: Neue Konzepte formaler Beweise und Beweisdarstellung

From:   ever     To:   now     Change data

Geo Map

Region #
EU - Europe 36
NA - North America 1
Total 37
Country #
AT - Austria 26
IE - Ireland 7
DE - Germany 2
FR - France 1
US - United States of America 1
Total 37
City #
Vienna 17
Dublin 7
Frankfurt am Main 2
Des Moines 1
Unknown 10
Total 37


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2020 00 0000 0000 017 17
2021 00 0000 0000 70 7
2022 01 0000 9021 00 13
Ever 37