Once you've downloaded the TSOP1738 Proteus library, follow these general steps:
Most good libraries do – they output LOW only when a 38 kHz ± 2 kHz modulated signal is present.
: This site is a common source for these files. Look for the "Infrared Sensor Library for Proteus" or a specific TSOP1738 package.
Yes, creating and distributing custom component models for Proteus is generally permitted under for educational and non-commercial purposes. However, redistributing proprietary models from Labcenter’s commercial library is not allowed.