Copy both files and paste them into the LIBRARY folder of your Proteus installation path. Depending on your version, the path typically looks like this:
In this article, we will dissect everything you need to know about the RC522 library for Proteus: what it is, how to install it, how to use it with an Arduino, common debugging pitfalls, and where to find reliable versions.
Double-click the Arduino Uno in Proteus. Click the folder icon next to "Program File" and select your generated .hex file.
Ensure you have the installed via the Library Manager.