Happy simulating!
Without the library, you can’t test your Arduino or PIC code logic for reading UID tags. You either have to buy physical hardware or abandon the simulation. rfid rc522 library for proteus download
void setup() Serial.begin(9600); SPI.begin(); mfrc522.PCD_Init(); Serial.println("Place a tag near the reader..."); Happy simulating
mfrc522.PICC_HaltA(); delay(1000);
Serial.println();