  We develop the (co)homological tools that make effective the construction of
the quaternionic Darmon points introduced by Matthew Greenberg. In addition, we
use the overconvergent cohomology techniques of Pollack--Pollack to allow for
the efficient calculation of such points. Finally, we provide the first
numerical evidence supporting the conjectures on their rationality.
