Black here has 3 weak pawns; if any one of them falls - he will very likely lose the game as well. If he lets White king break through via c4-c5(d5) - White will also likely win. c5 pawn is a passed pawn, but is not going anywhere. Evaluations like "White is better" are not precise enough - is it possible via analysis to prove that White definitely wins? Or that Black definitely holds? Variations or plans for both sides are welcome.
White to move:
2k5/5b2/p7/P1p2p1p/P4P1P/2K2B2/8/8 w - - 0 64