Once you have downloaded the EGS002 Proteus library, extract the library files to a folder on your computer. The library files are usually compressed in a ZIP file, so you will need to extract them using a file extraction tool.