Proteus 8.9 and newer include native STM32 models (no manual install needed). Just search for STM32 in Pick Device.