Well, Proteus doesn't export Flash.
But it does export images in several different formats.

For the animation above, I had to export one image for each possible state.
I used 4 different resistor combinations, and 3 switch states per combination, so it took 12 images for the whole thing.

The images were imported to Aligator Flash Designer from Selteco, where you can add the transition effects and define the sequence according to what people click on. Add some "Circles and Arrows with a paragraph on the back of each one" and you have a Flash Simulation.

The one above took about 8 hours or so.