Installing the library is only the first step. To make the STM32 "come alive" in simulation, you must bridge the gap between your code and the virtual hardware.
: Click the Play button at the bottom left of Proteus to start the simulation. proteus library for stm32 install