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


Level 2


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

I would like to download all of them at once.