In this talk we will discuss refined class number formulas conjectured by Gross and by Darmon. We will prove (a slight variant of) Darmon's conjecture, using the theory of Kolyvagin systems. This is joint work with Barry Mazur.