Your achievements

Level 1

0% to

Level 2

Tip /
Sign in

Sign in to Community

to gain points, level up, and earn exciting badges like the new
Bedrock Mission!

Learn more

View all

Sign in to view all badges

Downloading all attached files

Avatar

Level 2

23-06-2019

We sometimes attach many files to the comments of a proof.

I would like to download all of them at once.