Omega coin tossing

More information about this example
List of Survo examples