Project Statistics: Algorithmic Structuring and Compression of Proofs

From:   ever     To:   now     Change date range

Geo Map

Region #
EU - Europe 3
NA - North America 1
Total 4
Country #
FR - France 1
IE - Ireland 1
SE - Sweden 1
US - United States of America 1
Total 4
City #
Dublin 1
Secaucus 1
Unknown 2
Total 4


Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Tot
2021 00 0000 1010 20 4
Ever 4