If you find them, great! You can skip to using them in your design. If not, you'll need to add them.
: If you cannot find the specific HT12 series, the (encoder) and ht12e and ht12d proteus library file download link