The euro is based on a treaty, and that treaty has zero provisions for countries leaving it.

Maybe the best expression would be "there is no legally defined, binding procedure for leaving the euro". Which means that whoever tries this first must expect a wild ride with absolutely nothing to lean against.