Project Statistics: Nested Sequents for Interpolation and Realization

From:   ever     To:   now     Change data

Geo Map

Region #
EU - Europe 12
NA - North America 2
Total 14
Country #
AT - Austria 9
US - United States of America 2
DE - Germany 1
FR - France 1
HU - Hungary 1
Total 14
City #
Vienna 4
Des Moines 2
Budapest 1
Deizisau 1
Unknown 6
Total 14


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2021 00 0001 0000 00 1
2022 02 0010 5000 50 13
Ever 14