Hyperbolic four-manifolds

This is a short survey on finite-volume hyperbolic four-manifolds. We describe some general theorems and focus on the concrete examples that we found in the literature. The paper contains no new result.