As far as i know, these are alternative packages for playing with theorem-like environments.
What do you choose and why? What should be the de facto standard?
Regarding the same topic, are you able to port the following solutions to use the alternative package?