Download the Arduino Proteus Library from a trusted source. You can search for "Arduino Proteus Library zip" online. The file will usually be in a .zip format. Extract it to get the .IDX, .LIB, and ...