Yes, they are provably fair. Just click that check-mark button to open that pane. They even have an animation about their shuffling in there.