Release 0.13.0 introduced significant improvements to smart-contracts functionality which allow for the execution Sophia smart-contracts.
You can have a look at a Sophia smart contract implementing Dutch auction here.
You can also find detailed information about the syntax and features this Sophia tutorial.